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.
- ISBN10 0262330490
- ISBN13 9780262330497
- Publish Date 16 January 2001 (first published 12 August 1992)
- Publish Status Active
- Publish Country US
- Publisher MIT Press Ltd
- Imprint Bradford Books
- Edition second edition
- Format eBook
- Pages 216
- Language English