Deduction: Introductory Symbolic Logic

Deduction: Introductory Symbolic Logic Bonevac Daniel (University of Texas Austin) Wydawca: John Wiley and Sons Ltd Data wydania: 2002 ISBN: 9780631227137 Liczba stron: 528 Format: 150 x 231 x 28 Rodzaj oprawy: Paperback / softback Opis produktu: Offers a presentation of classical first-order logic. This book 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.