Daniel (University of Texas Bonevac Forfatter
Viser 1 - 1 af 1 resultat
-
Deduction: Introductory Symbolic Logic (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat