Barwise, Jon.

Identifiers

Open LibraryOL29403A

Top Subjects

Logic (6)
Mathematics / Combinatorics (6)
Mathematical foundations (5)
First-order logic (4)
Tarski's world (4)
Computer science (3)
Logic, Symbolic and mathematical (3)

Books by Barwise, Jon.

Total count: 22

Admissible sets and structuresan approach to definability theory

Springer-Verlag1975-01-01
The Kleene SymposiumProceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics)

Elsevier Science Ltd1981-06-01
Situations and attitudes

MIT Press1983-01-01
The liaran essay on truth and circularity

Oxford University Press1987-01-01
Two replies

Center for the Study of Language and Information1987-01-01
The situation in logic-IVon the model theory of common knowledge

Center for the Study of Language and Information/SRI International1988-01-01
The situation in logic

Center for the Study of Language and Information1989-01-01
The LiarAn Essay on Truth and Circularity

Oxford University Press, USA1989-04-06
The language of first-order logic

Center for the Study of Language and Information1990-01-01
Tarski's world 3.0including the Macintosh program

Center for the Study of Language and Information1991-01-01
Turing's World 3.0 for the Macintoshan introduction to computability theory

CSLI Publications1993-01-01
Turing's World 3.0An Introduction to Computability Theory (Center for the Study of Language and Information - Lecture Notes)Book and Disk edition

Center for the Study of Language and Inf1993-05-01
Tarski's WorldVersion 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes)Pap/Dsk edition

Center for the Study of Language and Inf1993-12-07
Tarski's WorldVersion 4.0 for MS Windows (Center for the Study of Language and Information - Lecture Notes)Pap/Dsk edition

Center for the Study of Language and Inf1993-12-07
Hyperproof

CSLI Publications1994-01-01
HyperproofFor Macintosh (Center for the Study of Language and Information - Lecture Notes)Pap/Dsk edition

Center for the Study of Language and Inf1994-12-20
Vicious circleson the mathematics of non-wellfounded phenomena

CSLI Publications1996-01-01
Information flowthe logic of distributed systems

Cambridge University Press1997-01-01
Language, Proof, and LogicPap/Cdr edition

CSLI Publications1999-08-01
Turing's World 3.0 for Windows (Center for the Study of Language and Information Publication Lecture Notes)

Cambridge University Press2001-01-01
Language, proof, and logic

CSLI Publications2002-01-01
Vicious Circles (Center for the Study of Language and Information - Lecture Notes)

Center for the Study of Language and Inf2004-08-04