Skip to main content
PBS logo
 
 

Search - List of Books by Jon Barwise

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

Hyperproof For Macintosh
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
  ?

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

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

The Kleene Symposium Proceedings of the Symposium Held June 1824 1978 at Madison Wisconsin USA
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
  ?

The Language of FirstOrder Logic  Including the Macintosh Program Tarski's World 40/Book and Disk
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 Language of FirstOrder Logic Including the Macintosh  Program Tarski's World
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
  ?

The Language of FirstOrder Logic Including the Windows Program Tarski's World 40 for use with IBMcompatible computers
Language Proof and Logic
Language Proof and Logic (Paperback)Paperback
ISBN-13: 9781575863740
ISBN-10: 157586374X
Genres: Nonfiction, Science & Math
  ?

Language Proof  Logic 2/E
Language Proof Logic 2/e (Paperback)
ISBN-13: 9781575866321
ISBN-10: 1575866323
Genres: Computers & Technology, Reference, Nonfiction
  ?

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

The Liar An Essay on Truth and Circularity
The Liar an Essay on Truth and Circularity (Hardcover)Paperback
ISBN-13: 9780195050721
ISBN-10: 019505072X
Genre: Nonfiction
  ?

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

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

The Situation in Logic
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
  ?

Situations and Attitudes
Situations and Attitudes (Hardcover)Paperback
ISBN-13: 9780262021890
ISBN-10: 0262021897
Genre: Nonfiction
  ?

Tarski's World 30 Including the Macintosh TM Program
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
  ?

Tarski's World Revised and Expanded
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
  ?

Tarski's World Version 40 for Macintosh
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
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
  ?

Turing's World 30 An Introduction to Computability Theory
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
  ?

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