Vicious Circles
On the Mathematics of Non-Wellfounded Phenomena »

Language, Proof and Logic
 »

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

Information Flow
The Logic Of Distributed Systems »

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

Situation Theory And Its Applications
2Nd Conference - Selected Papers »

Situation Theory And Its Applications
Volume 3 »

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

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

Situations And Attitudes
Situations and Attitudes »