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
Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
$44.99
Traumas Resisted and (Re)Engaged
$119.00
The Internet for Radiologists
$109.99
Tsji, Interpreters in and Around Early Modern Japan
$159.99
Funktionale Programmierung und Metaprogrammierung
$59.99
Progressives and Radicals in English Education 17501970
$39.99
Mobile Big Data
$79.99
Unter Narren
$59.99
Business and Education in the Middle East
$39.99
Reconstruction in Literary Studies
$39.99
Karrierechancen in der Biotechnologie und Pharmaindustrie
$37.99
Genitourinary System Cytology and Biopsy Specimens
$89.99
Omics Approach to Manage Abiotic Stress in Cereals
$249.99
The Hillsong Movement Examined
$159.99
Akquisitionsbedingte Wertnderung von Akquisitionssubjekten
$64.99
European Naval Power
$139.99
Metamorphosen des Kapitalismus - und seiner Kritik
$39.99
Structures and Interactions of Ionic Liquids
$169.00
Farb- und Formpsychologie
$44.99
The Puzzle of Perceptual Justification
$54.99
Sourdough Microbiota and Starter Cultures for Industry
$249.99
Neurowissenschaften und Musikpdagogik
$49.99
Inorganic Polyphosphates
$169.00
Aspects of Air Law and Civil Air Policy in the Seventies
$54.99
Take Back Higher Education
$109.99
Microfluidics for Biologists
$129.00
Electronic Structure of Noble Metals and Polariton-Mediated Light Scattering
$39.99
Reforming Learning and Teaching in Asia-Pacific Universities
$109.99
Ethics for Biomedical Engineers
$109.99
Introduction to Robotics
$39.99
Challenging Global Gender Violence: The Global Clothesline Project
$39.99
From Lambda Calculus to Cybersecurity Through Program Analysis
$39.99
Advances on P2P, Parallel, Grid, Cloud and Internet Computing
$219.99
MES - Manufacturing Execution System
$99.00
Eastern Christian Approaches to Philosophy
$109.99
Proceedings of Innovative Computing 2024 Vol. 1
$129.00
Emissionsfreie Mobilitt und Energiewende
$79.99
Zen and Western Thought
$109.99
Diet Brain Connections
$169.99
Effectuation entwickeln
$49.99
