ENGLISH

Logic primer

By Colin Allen , Michael Hand

Book information

Publisher
MIT Press
Year
2001
ISBN
0262511266, 9780585391205, 9780262511261
LCC
BC108 .A543 2001
Open Library ID
OL6789232M
Language
english
Format
DJVU
Filesize
584 kB (597770 bytes)
Edition
2nd ed
Pages
206\206
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26

Description

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. Logic Daemon and Quizmaster

Similar books