Author

Jon Barwise

15 books found

Cover of Language, proof, and logic

Language, proof, and logic

Jon Barwise · First published 2002

Placeholder cover for A model of the treatment of anaphora in situation semantics

A model of the treatment of anaphora in situation semantics

Jon Barwise · First published 1998

Cover of Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Barwise, Jon. · First published 1997

Cover of Hyperproof for the Macintosh

Hyperproof for the Macintosh

Jon Barwise · First published 1993

Placeholder cover for Tarski's world

Tarski's world

Jon Barwise · First published 1993

Cover of Turing's World 3.0 for the Macintosh

Turing's World 3.0 for the Macintosh

Jon Barwise · First published 1993

Cover of The language of first-order logic

The language of first-order logic

Jon Barwise · First published 1990 · Latest edition 1992

Cover of The situation in logic

The situation in logic

Barwise, Jon. · First published 1988 · Latest edition 1989

Cover of The liar

The liar

Barwise, Jon., John Etchemendy · First published 1987

Placeholder cover for Noun phrases, generalized quantifiers and anaphora

Noun phrases, generalized quantifiers and anaphora

Jon Barwise · First published 1986

Placeholder cover for Shifting situations and shaken attitudes

Shifting situations and shaken attitudes

Jon Barwise · First published 1984

Cover of Situations and attitudes

Situations and attitudes

Barwise, Jon., John Perry · First published 1983

Cover of Handbook of mathematical logic

Handbook of mathematical logic

Jon Barwise, H. Jerome Keisler · First published 1977

Cover of Admissible sets and structures

Admissible sets and structures

Jon Barwise · First published 1975

Cover of The Syntax and semantics of infinitary languages

The Syntax and semantics of infinitary languages

Jon Barwise · First published 1968