Jon Barwise
12 published titles
Handbook of mathematical logic
(Contributor)
1 edition
- ISBN: 072042285X
- North-Holland Publishing Co.
- 1977
- Details
The Kleene Symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
(Contributor)
1 edition
- ISBN: 0444853456
- North-Holland Publishing
- 1980
- Details
Situations and attitudes
2 editions
- ISBN: 0262021897
- MIT Press
- 1983
- Details
- ISBN: 1575861933
- CSLI Publications
- 1999
- Details
The Liar : an essay on truth and circularity
2 editions
- ISBN: 019505072X
- Oxford University Press
- 1987
- Details
- ISBN: 0195059441
- Oxford University Press
- 1987
- Details
Tarski's World 3.0 : including the Macintosh program
1 edition
- Center for the Study of Language and Information
- 1991
- Details
Situation theory and its applications. Vol. 2
(Contributor)
1 edition
- ISBN: 0937073709
- CSLI/SRI International
- 1991
- Details
Tarski's world : version 4.0 for the Macintosh
1 edition
- ISBN: 1881526275
- Center for the Study of Language and Information
- 1993
- Details
Turing's World 3.0 for the Macintosh : an introduction to computability theory
1 edition
- ISBN: 1881526100
- CSLI Publications
- 1993
- Details
Logical reasoning with diagrams
(Contributor)
1 edition
- ISBN: 0195104277
- Oxford University Press
- 1996
- Details
Information flow : the logic of distributed systems
1 edition
- ISBN: 0521583861
- Cambridge University Press
- 1997
- Details
Language, proof, and logic : text/software package
1 edition
- ISBN: 157586374X
- CSLI Publications
- 2002
- Details
Language, proof, and logic
(Contributor)
1 edition
- ISBN: 9781575866321
- CSLI Publications
- 2011
- Details
