from a Customer's Review: This book is an introductory treatment of mathematical logic, written entirely from the perspective of GENTZEN natural deduction. Standard texts are written from the viewpoint of Hilbert axiomatics or from (an alternative from Gentzen) natural deduction. Thus, for one wanting any discussion of the Gentzen calculus ND this book is the only full, start from scratch, treatment that I know of. Note, however, that the Gentzen sequent calculus is NOT discussed.
"synopsis" may belong to another edition of this title.
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP96903707
Seller: Buchpark, Trebbin, Germany
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 42709921/203
Quantity: 1 available