logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Language, Proof and Logic [With Software] - Dave Barker-Plummer, Jon Barwise, John Etchemendy
Language, Proof and Logic [With Software]
by: (author) (author) (author)
Format: paperback
ISBN: 9781575866321 (1575866323)
Publisher: CSLI Publications
Edition language: English
Category:
Philosophy
Bookstores:
Books by Jon Barwise
The Syntax and Semantics of Infinitary Languages - Jon Barwise
The Liar: An Essay on Truth and Circularity - Jon Barwise, John Etchemendy
The Language of First-Order Logic: Inclu... The Language of First-Order Logic: Including the Macintosh (TM) Program "Tarski's World" - Jon Barwise, John Etchemendy
The Situation in Logic - Jon Barwise
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers - Jon Barwise, John Etchemendy
The Kleene Symposium: Proceedings Of The... The Kleene Symposium: Proceedings Of The Symposium Held June 18 24, 1978 At Madison, Wisconsin, U. S. A - Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler
Language, Proof and Logic [With Software] - Dave Barker-Plummer, Jon Barwise, John Etchemendy
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, #23) - Jon Barwise, John Etchemendy
Logical Reasoning with Diagrams (Studies... Logical Reasoning with Diagrams (Studies in Logic and Computation) - Gerard Allwein, Jon Barwise
Situations and Attitudes - Jon Barwise, ... Situations and Attitudes - Jon Barwise, John R. Perry
Books by John Etchemendy
The Liar: An Essay on Truth and Circularity - Jon Barwise, John Etchemendy
The Language of First-Order Logic: Inclu... The Language of First-Order Logic: Including the Macintosh (TM) Program "Tarski's World" - Jon Barwise, John Etchemendy
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers - Jon Barwise, John Etchemendy
Language, Proof and Logic [With Software] - Dave Barker-Plummer, Jon Barwise, John Etchemendy
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, #23) - Jon Barwise, John Etchemendy
Tarski's World: Version 4.0 for MS Windows - Jon Barwise, John Etchemendy
The Language of First-Order Logic: Inclu... The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 - Jon Barwise, John Etchemendy
Language, Proof and Logic: Text and CD - Jon Barwise, John Etchemendy
Turing's World 3.0: An Introduction to Computability Theory - Jon Barwise, John Etchemendy
Hyperproof: For Macintosh - Jon Barwise, John Etchemendy
Books by Dave Barker-Plummer
Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings - Dave Barker-Plummer, Richard Hubert Francis Cox, Nik Swoboda
Language, Proof and Logic [With Software] - Dave Barker-Plummer, Jon Barwise, John Etchemendy
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.