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: Antiquariat Smock, Freiburg, Germany
Condition: Gut. Formateinband: Broschierte Ausgabe X, 207 S. (24,5 cm) 2nd Edition; Minimaler blasser Fleck am Vorderdeckel; Papier gebräunt; sonst gut erhalten. Sprache: Englisch Gewicht in Gramm: 490 [Stichwörter: Propositional Logic, Predicate logic, Completeness and applications, Second-order-logic, Intuitionistic logic]. Seller Inventory # 61878
Quantity: 1 available
Seller: Barksdale Books, Almere, Netherlands
Condition: Good. Paperback, illustrated with numerous equations and diagrams, 8vo. Universitext.; Name in pen on title page. Seller Inventory # 342014-ZA22
Quantity: 1 available
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G354012831XI3N00
Seller: Buchpark, Trebbin, Germany
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 42709921/203
Quantity: 1 available