Jon Barwise
Books
- Model-theoretic logics
- Analytical Reasoning
- Fourth year report to the System Development Foundation, Situated language research program
- Admissible Sets and Structures
- The Syntax and semantics of infinitary languages
- Handbook of mathematical logic
- Liar
- Fifth year report to the System Development Foundation, Situated language research program
- Situation Theory and Applications
- Logical Reasoning with Diagrams and Sentences
- Significato e teorie del linguaggio
- Spravochnai︠a︡ kniga po matematicheskoĭ logike
- Situationen und Einstellungen
- Logical reasoning with diagrams
- Vicious circles
- Language, proof, and logic
- Turing's World 3.0 for the Macintosh
- Language proof and logic
- Information Flow
- Handbook of mathematical logic
Author data: Open Library