Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Gentzen's Centenary
Best Price (Coupon Required):
Buy Gentzen's Centenary for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$129.00 | $129.00 |
|
10% OFF
This deals requires coupon
|
$116.10 | See Site | In stock | Visit Store |
Product Details
Gerhard Gentzen has been described as logics lost genius, whom Gdel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzens enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzens original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.
Reviews
Questions & Answers
Pacific - Atlantic Mollusc Migration
$169.99
Learn About: Animal Coverings: Skin
$5.24
Mssen agile Transformationen scheitern?
$39.99
Insect Biochemistry and Function
$39.99
Nonlinear and Dynamic Programming
$54.99
Springer Tracts in Modern Physics 36
$74.99
Mathematical Statistics and Probability Theory
$169.99
Finanzierungsinstrumente und Motive als Erfolgs-Konfigurationen im Cultural/Creative Entrepreneurshi
$84.99
Activity Systems Analysis Methods
$84.99
Antiracist Leadership
$149.99
Libraries without Limits: Changing Needs Changing Roles
$39.99
The German Continental Deep Drilling Program (KTB)
$84.99
Improving Patient Treatment with Attachment Theory
$119.99
The Englishized Subject
$84.99
Three-Dimensional Contact Problems
$169.99
Verbesserung von Klassifikationsverfahren
$54.99
Fomenting Political Violence
$139.99
Gesundheitsprofilierung von Lebensmittel-Markenartikeln
$69.99
Shakespeares Extremes
$54.99
Personality Traits and Drug Consumption
$54.99
Technology Common to Aero and Marine Engineering
$219.99
SDL 2003: System Design
$39.99
Stigmergic Optimization
$169.99
Intellektuelles Eigentum im Zeitalter von Digitalisierung und Internet
$69.99
Advances in Multi-Grid Methods
$59.99
Developing Adaptation Policy and Practice in Europe: Multi-level Governance of Climate Change
$169.99
Electronic Phenomena in Adsorption and Catalysis on Semiconductors and Dielectrics
$54.99
Advances in Cryptology ASIACRYPT 2022
$109.99
The Meaning of Something
$99.00
Direkte Demokratie
$44.99
Models of Balance of Payments Constrained Growth
$109.99
Blue and Green Cities
$99.00
The Limits to Certainty
$84.99
Principles of Public Policy Practice
$109.99
Towards User-Centric Transport in Europe 3
$49.99
Klausurentraining Allgemeine BWL/ VWL fr Fachwirte
$29.99
Mut zur Meinung
$49.99
Verhandlungen der Sachverstndigen-Sitzung ber Fragen zur Reform des Patentgesetzes
$44.99
Indo-Judaic Studies in the Twenty-First Century
$54.99
Decolonization and the French of Algeria
$99.99
