Language, Proof and Logic
 »

Information Flow
The Logic Of Distributed Systems »

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

Situation Theory And Its Applications
Volume 3 »

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

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

Situations And Attitudes
Situations and Attitudes »

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

Language, Proof and Logic
Language, Proof and Logic »

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