Skip to main content
PBS logo
 
 

Search - List of Books by John Etchemendy

Total Books: 23
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
  ?

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
  ?

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

The Concept of Logical Consequence
1999 - The Concept of Logical Consequence (Paperback)Hardcover
ISBN-13: 9781575861944
ISBN-10: 1575861941
Genres: Nonfiction, Science & Math, Engineering & Transportation
  ?

Logical Reasoning With Diagrams
1996 - Logical Reasoning with Diagrams [Studies in Logic and Computation] (Hardcover)
ISBN-13: 9780195104271
ISBN-10: 0195104277
Genres: Computers & Technology, Nonfiction, Science & Math, Engineering & Transportation, Substores
  ?

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
  ?

Turing's World 30 for the Macintosh An Introduction to Computability Theory/Book and Disk
Language Proof  Logic 2/E
Language Proof Logic 2/e (Paperback)
ISBN-13: 9781575866321
ISBN-10: 1575866323
Genres: Computers & Technology, Reference, Nonfiction
  ?

Turing's World 30 for Windows [Center for the Study of Language and Information Publication Lecture Notes] (Paperback)
Sprache Beweis und Logik Band I
Sprache Beweis Und Logik Band I (Other)
ISBN-13: 9783897854406
ISBN-10: 3897854406
  ?

Sprache Beweis und Logik Band 2
Sprache Beweis Und Logik Band 2 (Other)
ISBN-13: 9783897854413
ISBN-10: 3897854414
  ?