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
Aufstze und Vortrge (19221937)
$399.99
Crystalline Electric Field and Structural Effects in f-Electron Systems
$84.99
The Carter Administration and the Fall of Irans Pahlavi Dynasty
$129.00
Complex Geometry
$84.99
Advances in Self-Organizing Maps, Learning Vector Quantization, Interpretable Machine Learning, and
$219.99
Anion Sensing
$259.00
Preispolitik im Kulturbetrieb
$59.99
Nachhaltigkeit als Transformation
$69.99
Four Short Courses on Harmonic Analysis
$39.99
Metamaterials for Manipulation of Thermal Radiation and Photoluminescence in Near and Far Fields
$109.99
Tolkien as a Literary Artist
$139.99
Sensory Functions of the Skin of Humans
$39.99
Antisemitismus in der politischen Kultur nach 1945
$59.99
Digital Capital
$129.99
Decision Modelling and Information Systems
$129.00
Genetic Algorithms for Control and Signal Processing
$84.99
Electromagnetic Vibration Energy Harvesting Devices
$109.99
Women and Fluid Identities
$39.99
Systematic Design of Sigma-Delta Analog-to-Digital Converters
$169.99
Gynkologie und Geburtshilfe 1990
$54.99
Ubiquitous Computing and Ambient Intelligence
$39.99
Uses of Immobilized Biological Compounds
$39.99
Secularism and Religion in Multi-faith Societies
$54.99
Analytic Number Theory
$109.99
Rainer Maria Rilke
$44.99
Einstein und Die Sowjetphilosophie
$59.99
Antibiotic Resistance
$449.99
Der Jungkaufmann im Examen
$54.99
The Modern Arabic Short Story
$54.99
Biological Antenna to the Humanoid Bot
$179.99
Advances in CSF Protein Research and Diagnosis
$219.99
Congenital Cytomegalovirus Infection
$84.99
Dragon Mountain by Katie Tsang
$8.99
Durchfhrung von experimentellen Untersuchungen ber den zeitlichen Ablauf von Funken in komprimiert
$59.99
Child of the Dream (Hardcover)
$12.74
Applied Multivariate Data Analysis
$84.99
Perspectives of Systems Informatics
$54.99
Impact of Cesium on Plants and the Environment
$109.99
Abrasax: Ausgewhlte Papyri Religisen und Magischen Inhalts
$64.99
Progress in Botany
$259.00
