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 Inventing Atmospheric Science by Colin Allen, Michael Hand
Cover of the book The Radical Fool of Capitalism by Colin Allen, Michael Hand
Cover of the book Families at Play by Colin Allen, Michael Hand
Cover of the book Power and Care by Colin Allen, Michael Hand
Cover of the book Linkography by Colin Allen, Michael Hand
Cover of the book Experiencing Architecture by Colin Allen, Michael Hand
Cover of the book Big Is Beautiful by Colin Allen, Michael Hand
Cover of the book Broadcasting Buildings by Colin Allen, Michael Hand
Cover of the book Decisions, Uncertainty, and the Brain by Colin Allen, Michael Hand
Cover of the book The Stack by Colin Allen, Michael Hand
Cover of the book Lonely Ideas by Colin Allen, Michael Hand
Cover of the book Investigating the Psychological World by Colin Allen, Michael Hand
Cover of the book Positive Computing by Colin Allen, Michael Hand
Cover of the book Evil Media by Colin Allen, Michael Hand
Cover of the book How Not to Network a Nation 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