J
Jon Barwise
18 works on record
Works
Language, proof, and logic
Turing's World 3.0 for the Macintosh
Vicious circles
Logical reasoning with diagrams
Handbook of mathematical logic
Language proof and logic
Logical Reasoning with Diagrams and Sentences
The Syntax and semantics of infinitary languages
Situation Theory and Applications
Information Flow
Information Flow
2008
Analytical Reasoning
Analytical Reasoning
2004
Fifth year report to the System Development Foundation, Situated language research program
Fifth year report to the System Development Foundation, Situated language research program
1988
Fourth year report to the System Development Foundation, Situated language research program
Fourth year report to the System Development Foundation, Situated language research program
1987
Liar
Liar
1987
Admissible Sets and Structures
Admissible Sets and Structures
1975
Significato e teorie del linguaggio
Significato e teorie del linguaggio
Model-theoretic logics
Model-theoretic logics
Situationen und Einstellungen
Situationen und Einstellungen