Books by Jon Barwise
Logical Reasoning with Diagrams and Sentences
Information Flow
Information Flow
Analytical Reasoning
Analytical Reasoning
Language, proof, and logic
Logical reasoning with diagrams
Turing's World 3.0 for the Macintosh
Situation Theory and Applications
Significato e teorie del lingu
Significato e teorie del linguaggio
Fifth year report to the Syste
Fifth year report to the System Development Foundation, Situated language research program
Fourth year report to the Syst
Fourth year report to the System Development Foundation, Situated language research program
Situationen und Einstellungen
Situationen und Einstellungen
Handbook of mathematical logic
The Syntax and semantics of infinitary languages