Logic Primer

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, General Computing
Cover of the book Logic Primer by Colin Allen, Michael Hand, The MIT Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Colin Allen, Michael Hand ISBN: 9780262303965
Publisher: The MIT Press Publication: January 16, 2001
Imprint: A Bradford Book Language: English
Author: Colin Allen, Michael Hand
ISBN: 9780262303965
Publisher: The MIT Press
Publication: January 16, 2001
Imprint: A Bradford Book
Language: English

Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic.

Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the student-instructor relationship. The key concepts are laid out in concise definitions and comments, with the expectation that the instructor will elaborate upon them. New to the second edition is the addition of material on the logic of identity in chapters 3 and 4. An innovative interactive Web site, consisting of a "Logic Daemon" and a "Quizmaster," encourages students to formulate their own proofs and links them to appropriate explanations in the book.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic.

Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the student-instructor relationship. The key concepts are laid out in concise definitions and comments, with the expectation that the instructor will elaborate upon them. New to the second edition is the addition of material on the logic of identity in chapters 3 and 4. An innovative interactive Web site, consisting of a "Logic Daemon" and a "Quizmaster," encourages students to formulate their own proofs and links them to appropriate explanations in the book.

More books from The MIT Press

Cover of the book The Ethics of Computer Games by Colin Allen, Michael Hand
Cover of the book Modern HF Signal Detection and Direction Finding by Colin Allen, Michael Hand
Cover of the book IBM by Colin Allen, Michael Hand
Cover of the book Algorithms Unlocked by Colin Allen, Michael Hand
Cover of the book Beyond Imported Magic by Colin Allen, Michael Hand
Cover of the book Blue and Green by Colin Allen, Michael Hand
Cover of the book Minitel by Colin Allen, Michael Hand
Cover of the book The Copyright Book by Colin Allen, Michael Hand
Cover of the book Out of the Crisis by Colin Allen, Michael Hand
Cover of the book Monitoring Movements in Development Aid by Colin Allen, Michael Hand
Cover of the book Russian Cosmism by Colin Allen, Michael Hand
Cover of the book Decisions, Uncertainty, and the Brain by Colin Allen, Michael Hand
Cover of the book Shadow Libraries by Colin Allen, Michael Hand
Cover of the book An Economist in the Real World by Colin Allen, Michael Hand
Cover of the book 10 PRINT CHR$(205.5+RND(1)); : GOTO 10 by Colin Allen, Michael Hand
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy