Synopsis
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.
Other Popular Editions of the Same Title
Search results for Logic and Structure
Seller Image
Logic and Structure. Second Edition
Published by
Berlin ; New York: Springer (Universitext), 1983
ISBN 10: 354012831X
ISBN 13: 9783540128311
Used
Softcover
Seller: Antiquariat Smock, Freiburg, Germany
Seller rating 5 out of 5 stars
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
Buy Used
US$ 12.14
US$ 16.39 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logic and Structure - Second edition
Published by
Berlin/Heidelberg : Springer-Verlag, 1983
ISBN 10: 354012831X
ISBN 13: 9783540128311
Used
Softcover
Seller: Barksdale Books, Almere, Netherlands
Seller rating 5 out of 5 stars
Condition: Good. Paperback, illustrated with numerous equations and diagrams, 8vo. Universitext.; Name in pen on title page. Seller Inventory # 342014-ZA22
Buy Used
US$ 13.36
US$ 23.58 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Stock Image
Logic and Structure
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G354012831XI3N00
Stock Image
Logic and Structure (Universitext)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 42709921/203
Buy Used
US$ 16.48
US$ 123.79 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available