Skip to main content
PBS logo
 
 

Search - List of Books by Jon Barwise

Total Books: 31
Admissible Sets and Structures
2017 - Admissible Sets and Structures [Perspectives in Logic] (Hardcover)
ISBN-13: 9781107168336
ISBN-10: 1107168333
Genre: Science & Math
  ?

Logical Reasoning with Diagrams and Sentences An Introductory Course Using Hyperproof
2016 - Logical Reasoning with Diagrams and Sentences an Introductory Course Using Hyperproof [Lecture Notes] (Paperback)
ISBN-13: 9781575869513
ISBN-10: 1575869519
Genre: Reference
  ?

Information Flow The Logic of Distributed Systems
2008 - Information Flow the Logic of Distributed Systems [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521070997
ISBN-10: 0521070996
  ?

Tarski's World Revised and Expanded
2007 - Tarski's World Revised and Expanded [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9781575864846
ISBN-10: 1575864843
Genres: Reference, Nonfiction
  ?

Vicious Circles
2004 - Vicious Circles [Center for the Study of Language and Information - Lecture Notes] (Paperback)Hardcover
ISBN-13: 9781575860084
ISBN-10: 1575860082
Genres: Science & Math, Engineering & Transportation
  ?

Language Proof and Logic
2002 - Language Proof and Logic (Paperback)Paperback
ISBN-13: 9781575863740
ISBN-10: 157586374X
Genres: Nonfiction, Science & Math
  ?

Situations and Attitudes
1998 - Situations and Attitudes (Paperback)Hardcover
ISBN-13: 9781575861937
ISBN-10: 1575861933
Genres: Reference, Nonfiction
  ?

Information Flow  The Logic of Distributed Systems
1997 - Information Flow the Logic of Distributed Systems [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521583862
ISBN-10: 0521583861
Genre: Computers & Technology
  ?

Hyperproof For Macintosh
1994 - Hyperproof for Macintosh [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9781881526117
ISBN-10: 1881526119
Genres: Computers & Technology, Reference, Science & Math, Politics & Social Sciences
  ?

Tarski's World Version 40 for Macintosh
1993 - Tarski's World Version 40 for Macintosh [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9781881526278
ISBN-10: 1881526275
Genres: Computers & Technology, Nonfiction, Science & Math, Engineering & Transportation
  ?

Tarski's World  Version 40 for MS Windows
1993 - Tarski's World Version 40 for Ms Windows [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9781881526285
ISBN-10: 1881526283
Genres: Nonfiction, Science & Math, Engineering & Transportation
  ?

The Language of FirstOrder Logic  Including the Macintosh Program Tarski's World 40/Book and Disk
Turing's World 30 An Introduction to Computability Theory
1993 - Turing's World 30 an Introduction to Computability Theory [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9781881526100
ISBN-10: 1881526100
Genres: Computers & Technology, Nonfiction, Science & Math, Engineering & Transportation
  ?

The Language of FirstOrder Logic Including the Windows Program Tarski's World 40 for use with IBMcompatible computers
1992 - The Language of Firstorder Logic Including the Windows Program Tarski's World 40 for Use with Ibmcompatible Computers [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9780937073902
ISBN-10: 0937073903
Genres: Computers & Technology, Reference, Nonfiction, Science & Math, Engineering & Transportation
  ?

The Language of FirstOrder Logic Including the Macintosh  Program Tarski's World
1992 - The Language of Firstorder Logic Including the Macintosh Program Tarski's World [TM - Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9780937073742
ISBN-10: 0937073741
  ?

Tarski's World 30 Including the Macintosh TM Program
1991 - Tarski's World 30 Including the Macintosh Tm Program [Center for the Study of Language and Information - Lecture Notes] (Paperback)
ISBN-13: 9780937073674
ISBN-10: 0937073679
  ?

1990 - The Language of Firstorder Logic Including the Macintosh Tm Program Tarski's World 30 [Center for the Study of Language and Information - Lecture Notes] (Paperback)
The Liar An Essay on Truth and Circularity
1989 - The Liar an Essay on Truth and Circularity (Paperback)Hardcover
ISBN-13: 9780195059441
ISBN-10: 0195059441
Genres: Reference, Nonfiction
  ?

The Situation in Logic
1989 - The Situation in Logic [Center for the Study of Language and Information - Lecture Notes] (Paperback)Hardcover
ISBN-13: 9780937073322
ISBN-10: 0937073326
Genres: Nonfiction, Science & Math, Engineering & Transportation
  ?

ModelTheoretic Logics
1985 - Modeltheoretic Logics (Hardcover)
ISBN-13: 9783540909361
ISBN-10: 3540909362
  ?

The Kleene Symposium Proceedings of the Symposium Held June 1824 1978 at Madison Wisconsin USA
1981 - The Kleene Symposium Proceedings of the Symposium Held June 1824 1978 at Madison Wisconsin Usa [Studies in Logic and the Foundations of Mathematics] (Hardcover)
ISBN-13: 9780444853455
ISBN-10: 0444853456
Genres: Nonfiction, Science & Math
  ?

Language Proof and Logic  Textbook Only
Language Proof and Logic Textbook Only (Paperback)
ISBN-13: 9780004758688
ISBN-10: 0004758684
  ?

Turing's World 30 for Windows [Center for the Study of Language and Information Publication Lecture Notes] (Paperback)