logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Language, Proof, and Logic - Jon Barwise, John Etchemendy
Language, Proof, and Logic
by: (author) (author)
Format: paperback
ISBN: 9781889119083 (1889119083)
Publisher: CSLI Publications
Pages no: 500
Edition language: English
Category:
Reference, Computer Science, Science, Philosophy, Logic
Bookstores:
Other editions (1)
Language, Proof and Logic: Text and CD - Jon Barwise, John Etchemendy
Books by Jon Barwise
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
Tarski's World: Version 4.0 for MS Windows - Jon Barwise, John Etchemendy
Hyperproof: For Macintosh - Jon Barwise, John Etchemendy
Provability, Computability and Reflectio... Provability, Computability and Reflection, Volume 90 (Studies in Logic and the Foundations of Mathematics) - Lev D. Beklemishev, Jon Barwise
Books by 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
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
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.