Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Gentzen's Centenary

Gentzen's Centenary

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319101026
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Security with Intelligent Computing and Big-data Services

$219.99

The Russian Civil War

$59.99

The Knee and the Cruciate Ligaments

$84.99

Periodontology

$119.99

Care schafft Community Community braucht Care

$79.99

Diseases of the Human Carotid Body

$54.99

Spuren der Eiszeit

$24.99

Das Verbrechen II

$59.99

Rho GTPases

$199.99

Malignant Lymphomas: Biology and Treatment

$84.99

Pediatric and Adolescent Concussion

$39.99

A Math-Based Writing System for Engineers

$99.00

Introducing Aviary

$24.99

Worlding a Peripheral Literature

$89.99

Wirtschaftstransformation

$34.99

Algebra, Geometry and Software Systems

$109.99

Messengers from the Cosmos

$69.99

Religion and Morality

$169.99

The Theory of Committees and Elections

$129.00

Reading Above the Fray (30-copy pack)

$809.70

Religion, Politics, and the Origins of Palestine Refugee Relief

$54.99

OP-Pflege Prfungswissen

$19.99

Galactose Regulon of Yeast

$169.99

Femtosecond Laser 3D Micromachining for Microfluidic and Optofluidic Applications

$54.99

Thoracic Aortic Diseases

$219.99

Computational Intelligence for Optimization

$109.99

Gieener Gynkologische Fortbildung 1993

$69.99

Vergtung mittels Bonusbanken

$49.99

Controlling digitaler Behrdenkommunikation

$37.99

New Technologies for Archaeology

$219.99

Pro Drupal 7 for Windows Developers

$54.99

Operations Management

$29.99

An American Crisis: Congress & Reconstruction 1865-1867

$54.99

Stress Response Pathways in Cancer

$179.99

ber die Entwicklung der Lungentuberkulose

$54.99

Avian Ancestors

$54.99

African Seaports and Maritime Economics in Historical Perspective

$169.99

The Other Side of Prospect - A Story of Violence, Injustice,andTheAmericanCity by Nicholas Dawidoff

$32.50

My Little Busy Day: Cooking With You / Cocino contigo

$4.46

The Sovereign Consumer

$109.99