Jon Barwise

No biography available.

Works (8)

Cover of Language, proof, and logic

Language, proof, and logic

Cover of Language proof and logic

Language proof and logic

Cover of Situation Theory and Applications

Situation Theory and Applications

Cover of Turing's World 3.0 for the Macintosh

Turing's World 3.0 for the Macintosh

Cover of Logical reasoning with diagrams

Logical reasoning with diagrams

Cover of Logical Reasoning with Diagrams and Sentences

Logical Reasoning with Diagrams and Sentences

Cover of Vicious circles

Vicious circles

Cover of The Syntax and semantics of infinitary languages

The Syntax and semantics of infinitary languages