Deduction: introductory symbolic logic
Auteur :
Bonevac, Daniel
Éditeur :
John Wiley and Sons Ltd
ISBN :
9780631227137
Date de publication :
13 sept. 2002
Dimensions :
22,9 x 15,5 x 3,1 cm
Poids :
726 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.