Hyperproof
For Macintosh »

Vicious Circles
On the Mathematics of Non-Wellfounded Phenomena »

Tarski's World 4.0 for Macintosh
 »

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

Information Flow
The Logic Of Distributed Systems »

The Situation in Logic
 »

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... »

Language, Proof and Logic
 »

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

Situations And Attitudes
Situations and Attitudes »