Jon Barwise

Author

Jon Barwise

Wikipedia
Jon Barwise
Share on Twitter



 
Books
 
 
Wall
 
 
 
Fans
 
 

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

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

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

Language, Proof and Logic
Language, Proof and Logic
 »
 
 
 
 
 

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

Vicious Circles
Vicious Circles
On the Mathematics of Non-Wellfounded Phenomena »
 
 
 
 
 

Situation Theory And Its Applications
Situation Theory And Its Applications
Volume 3 »
 
 
 
 
 

Hyperproof
Hyperproof
For Macintosh »
 
 
 
 
 

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

Information Flow
Information Flow
The Logic Of Distributed Systems »
 
 
 
 
 

The Language Of First-Order Logic, Including The Macintosh Program 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 »