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
Polymer Analysis and Characterization
$84.99
The National Front in English Politics
$54.99
Epigenetics: Development and Disease
$259.00
Ethnic Minorities in Democratizing Muslim Countries
$129.00
Arbeit in der modernen Gesellschaft
$19.95
Values Politics Religion: The European Values Study
$59.99
Technological Innovation
$31.73
Verstndliche Quantenmechanik
$39.99
Sensory Neuroscience: Four Laws of Psychophysics
$169.99
AI*IA 2013: Advances in Artificial Intelligence
$39.99
Decision Trees with Hypotheses
$129.00
Natural Resource Regulation in China
$109.00
ber das asymptotische Verhalten der Anzahl von k-tupeln linear unabhngiger Gitterpunkte
$49.99
Maize Improvement
$149.00
Intelligence Science and Big Data Engineering
$109.99
Praxisbuch Herz-CT
$99.99
Upgrades der Natur, knftige Krper
$64.99
Rechnergesttzte Beurteilung von Getriebestrukturen in Werkzeugmaschinen
$59.99
Die Produktivitt des Sozialen - den sozialen Staat aktivieren
$44.99
Women, Terrorism, and Trauma in Italian Culture
$39.99
Thermodynamik
$69.99
Potato Production Systems
$219.99
Arrhythmie-Kompendium I
$69.99
Sensors in Water Pollutants Monitoring: Role of Material
$159.99
Die gedeckten Schden des Gehirns
$59.99
Jaagsiekte Sheep Retrovirus and Lung Cancer
$109.99
How Can We Know What God Means
$84.99
Der lange Weg zur Erfolgsmannschaft
$74.99
The Impact of Diaspora Ventures on the Dynamics of the Start-up Ecosystem Berlin
$54.99
Unschooled
$5.99
Mitarbeitergesprche fhren
$44.99
Database Systems for Advanced Applications
$54.99
Die neueren Schweiverfahren
$34.99
Developments in Language Theory
$39.99
Screening effects in bipolaron theory and high temperature superconductivity
$14.95
Structure of Complex Turbulent Shear Flow
$84.99
ISSE 2008 Securing Electronic Business Processes
$54.99
Principles of Airway Management
$109.00
Quality and Lean Six Sigma for Engineering Technicians
$44.99
The Irish Cinderlad
$5.21
