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

Saved from the Cellar

Saved from the Cellar

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

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gdel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen's life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.

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

Pediatric Neuro-oncology

$84.99

Confronting Modernity in Fin-de-Sicle France

$89.00

Re-Orienting the Renaissance

$109.99

Mobile Computing

$84.99

Leading and Managing in the Social Sector

$49.99

Color of Inland and Coastal Waters

$219.99

Major Business Organizations of Eastern Europe and the Commonwealth of Independent States 1992-93

$74.99

Elementary Particles

$129.00

Identifying Numerals 10 to Grade K Differentiation Pack

$5.99

Lehrbuch der Technischen Mechanik fr Ingenieure und Studierende

$59.99

Die multiparadigmatische Struktur der Wissenschaften

$49.99

My Books Summer & Summer Express Workbook Grade K Fiction/Nonfiction 10-Book Bundle

$53.95

ber Psychologie und Psychopathologie des Jugendlichen

$59.99

Business Intelligence for Enterprise Internet of Things

$84.99

Besteuerung von natrlichen Personen und Personengesellschaften

$39.99

Soil-Subsurface Change

$129.00

Basic Real Analysis

$39.99

Versorgungsstrategien in der Logistik

$74.99

The Variable-Order Fractional Calculus of Variations

$39.99

Education for Animal Welfare

$169.99

Betrachtungen ber die Einwirkung des Krieges auf unsern Organismus und seine Erkrankungen

$54.99

International Human Resource Management in Japanese Firms

$84.99

Freundesgabe fr Hans Hengeler zum 70. Geburtstag am 1. Februar 1972

$69.99

Advances in Nuclear Science and Technology

$39.99

Competitive Differentiation within the Shipbuilding Industry

$84.99

Nocturnes: Popular Music and the Night

$99.00

Advanced Concepts for Intelligent Vision Systems

$54.99

A Rainy Day

$3.71

Strategien der Lagerplatzvergabe

$44.99

Modern Stateless Warfare

$79.99

Screenografie kompakt

$19.99

Kompetenzorientierte Unternehmungsakquisitionen

$59.99

Virtuelle Bilderwolken

$44.99

Reversible Computation

$39.99

Die Subversion der Literatur

$39.99

Warum Piloten glckliche(re) Menschen sind ..

$24.99

Personalmanagement in Zeiten von Demografie und Digitalisierung

$69.99

Mechanisms of Organ Dysfunction in Critical Illness

$169.99

Trends and Technological Challenges in Green Energy

$169.99

Information Processing in the Visual Systems of Arthropods

$109.99