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
Between Sea and Sky: Aerial Aquatic Locomotion in Miniature Robots
$169.99
Polymer Processing and Structure Development
$169.99
Nanotechnology in Societal Development
$199.99
A New-Generation Density Functional
$54.99
Die Logotherapie und Existenzanalyse Viktor Frankls
$139.99
Acute Continuous Renal Replacement Therapy
$219.99
I Sichtbarmachung von Ultraschallfeldern unter Verwendung photographischer Emulsionsschichten. II Me
$59.99
Der Schienenverkehr der Tschechischen Republik in der Transformation
$59.99
New Symmetry Principles in Quantum Field Theory
$39.99
Compact Systems of Sets
$29.99
Protocols for Micropropagation of Woody Trees and Fruits
$379.99
Progress in Anti-Cancer Chemotherapy
$39.99
The Organizational Form of Family Business
$169.99
Machine Learning and Intelligent Communications
$109.99
Urogenitale Bildgebung
$64.99
Development Finance and Policy Reform
$169.99
Xbooks-Forensics: DNA Doesn't Lie
$5.21
Einfach komplex
$59.99
The Functional Roles of Histamine Receptors
$169.99
Simulation von Rhrenverstrkern mit SPICE
$99.99
The Dragons Eat Noodles on Tuesdays (Hardcover)
$13.49
Advances in the Study of Gas Hydrates
$84.99
Asia, Europe, and the Emergence of Modern Science
$54.99
Neurodegeneration and Prion Disease
$169.99
Fault Detection and Isolation
$84.99
Event Studies for Financial Research
$39.99
Top-down- und Bottom-up-Anstze im Innovationsmanagement
$69.99
Anforderungsmanagement in sieben Tagen
$29.99
Numerik fr Ingenieure, Physiker und Informatiker
$29.99
Atlas of PET-CT Imaging in Oncology
$129.00
Histologie und Mikroskopische Anatomie
$59.99
Oral Antidiabetics
$74.99
Contemporary Tools and Techniques for Studying Writing
$109.99
Exercises in Classical Ring Theory
$84.99
Modell zur Vorhersage der Brennrate in der Betriebsart kontrollierte Benzinselbstzndung
$49.99
Vernderungen des Wasser- und Elektrolythaushaltes durch Osmotherapeutika
$59.99
Das Ja zur Politik
$59.99
Plant Tissue Culture Engineering
$219.99
MEGADESIGN and MegaOpt - German Initiatives for Aerodynamic Simulation and Optimization in Aircraft
$169.00
Kostenorientiertes Transaktionscontrolling
$59.99
