Jon Barwise profile picture

Jon Barwise

Stand Alone

The Liar: An Essay on Truth and Circularity
Logical Reasoning with Diagrams (Studies in Logic and Computation, 6)
Logical Reasoning with Diagrams (Studies in Logic and Computation Book 6)
Language, Proof and Logic - Textbook Only
Language, proof, and logic
Vicious circles
Turing's World 3.0 for the Macintosh
Handbook of mathematical logic
Language proof and logic
Admissible Sets and Structures An Approach to Definability Theory
The Syntax and Semantics of Infinitary Languages
Language, Proof and Logic, Textbook ONLY
Hyperproof for the Macintosh
Language, Proof, and Logic Buch
Admissible Sets and Structures

See All