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
Proceedings of SIE 2022
$299.99
Amyloidosis
$39.99
Politisches Denken. Jahrbuch 1993
$39.99
Introducing Fortran 90
$54.99
Didactical Phenomenology of Mathematical Structures
$189.00
Environmental Physiology of Fishes
$329.99
Neuerfindung einer Industrie
$69.99
Die entscholastisierte Schule
$54.99
Der Grundbau
$84.99
Einfhrung in die Ungleichgewichtstheorie
$49.99
Supporting Civil Society
$59.99
Governing Human Well-Being
$109.99
Computational Modeling and Problem Solving in the Networked World
$169.99
Collaborative Computing: Networking, Applications, and Worksharing
$39.99
Wounded Writers Ask: Am I Doing it Write?
$49.99
Scandinavian Colonialism and the Rise of Modernity
$139.00
Domination Games Played on Graphs
$69.99
Global Political Economy
$99.99
Fundamentals of Bacterial Physiology and Metabolism
$109.00
Diskursive Interaktionsmuster des Libanonkonflikts
$59.99
Zur Neuropathologie der Nebenwirkungen nervenrztlicher Therapie
$59.99
Advances in National Brand and Private Label Marketing
$159.99
Craziness and Carnival in Neo-Noir Chinese Cinema
$54.99
A New Dawn for the New Left
$54.99
Das schmiedbare Eisen
$84.99
Structural Studies of Liquids and Glasses Using Aerodynamic Levitation
$84.99
Basic and Clinical Aspects of Helicobacter pylori Infection
$84.99
Measure Theory
$199.99
New Frontiers of MR-based Techniques in Multiple Sclerosis
$39.99
Fault-Tolerant Distributed Computing
$39.99
Neue Technologien verschenkte Gelegenheiten?
$69.95
Mind-Body: A Categorial Relation
$54.99
The New Literary Middlebrow
$39.99
Fallbeispiele Notfallmedizin
$24.99
Rotating Machinery, Vibro-Acoustics & Laser Vibrometry, Volume 7
$279.99
Antiviral Drug Development
$39.99
Bei Sozialkunde denke ich nur an dieses Trockene
$59.99
Metric Driven Design Verification
$109.99
Multimodal Learning for Clinical Decision Support
$59.99
Reducing Benzodiazepine Consumption
$54.99
