Turing's World 3.0 For Mac
An Introduction To Computability Theory »

Language Of First-Order Logic
Including the IBM-compatible Windows Version of Tarski's World 4.0 »

The Language Of First-Order Logic, Including The Macintosh Program Tarski's World 4.0
Including the Macintosh Programme, Tarski's World 4.0 »

Liar:essay On Truth P
This monograph purports to provide a solution to semantical paradoxes like the liar. The authors base this solution on J.L.Austin's idea of truth, which is f... »

Tarski's World 4.0 for Macintosh
 »

Language, Proof and Logic
Language, Proof and Logic »

The Concept Of Logical Consequence
The Concept of Logical Consequence »

Tarski's World
Revised and Expanded »

Hyperproof
For Macintosh »