419:-
Uppskattad leveranstid 11-22 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9780262511261
- Språk: Engelska
- Antal sidor: 216
- Utgivningsdatum: 2001-01-01
- Förlag: MIT Press