18 Mar 13
21 Jun 11
A brief summary of the following topics for students and general readers of that book and related books such as Knowledge Representation and books on logic, linguistics, and computer science.
03 May 11
15 Apr 11
Everything I always wanted to know about the Y Combinator without daring to ask.
23 Dec 10
23 Jul 10
02 Jun 10
A comparison between known values gives you a result of TRUE or FALSE. But the problem is that SQL has a three valued logic (3VL) and not the two values of Mr. George Boole. In fact, SQL logic is complicated.
23 May 10
10 Jul 05
Arrange the vertices such that no edges overlap.
05 Jun 05
11 May 05
the web companion to the beloved Logic text
04 Oct 04
a version of Madsen Pirie’s excellent encyclopaedia of logical fallacies