Barwise, Jon.
Books
- Situations and Attitudes
- The situation in logic-IV
- The liar
- Two replies
- Hyperproof
- Turing's World 3.0 for Windows
- Situations and attitudes
- Vicious circles
- Tarski's World Version 4.0 for MS Windows
- Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)
- Tarski's world 3.0
- Admissible Sets, and Structures
- The language of first-order logic
- Tarski's World
- The situation in logic
Author data: Open Library