Deduction : introductory symbolic logic
Bonevac, Daniel2003
Books
Find it!
Deduction is a presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Both are very natural and easy to learn.
Main title:
Deduction : introductory symbolic logic / Daniel Bonevac.
Author:
Edition:
2nd ed.
Imprint:
Oxford : Blackwell, 2003.
Collation:
ix, 514 p. ; 23 cm.
Notes:
Previous ed.: Palo Alto, Calif.: Mayfield, 1987.Includes bibliographical references (p. 504-506) and index.
ISBN:
9780631227137 (pbk)
Dewey class:
162
Language:
English
Subject:
BRN:
450560
More Information: