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

Logic Reason Diagr Slc 6 C
Logic Reason Diagr Slc 6 C
 »
 
 
 
 
 

Language, Proof and Logic
Language, Proof and Logic
 »
 
 
 
 
 

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

Tarski's World
Tarski's World
Revised and Expanded »
 
 
 
 
 

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

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

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

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 »
 
 
 
 
 

Hyperproof
Hyperproof
For Macintosh »
 
 
 
 
 

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