Situation Theory And Its Applications
Volume 3 »

Outlines And Highlights For Language, Proof And Logic By Jon Barwise
9781575863740 »

Vicious Circles
On the Mathematics of Non-Wellfounded Phenomena »

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

Hyperproof
For Macintosh »

Information Flow
The Logic Of Distributed Systems »

Outlines & Highlights For Language, Proof And Logic By Jon Barwise, Isbn
Language, Proof and Logic by Jon Barwise, ISBN 9781575863740 »

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

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 Situation In Logic
 »