Get Free Shipping on orders over $79
Gentzen's Centenary : The Quest for Consistency - Reinhard Kahle

Gentzen's Centenary

The Quest for Consistency

By: Reinhard Kahle (Editor), Michael Rathjen (Editor)

eText | 2 November 2015

At a Glance

eText


$169.00

or 4 interest-free payments of $42.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

Gerhard Gentzen has been described as logic's lost genius, whom Godel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's 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.

on
Desktop
Tablet
Mobile

More in Mathematical Logic

The Game of Logic - Lewis Carroll

eBOOK

Symbolic Logic - Lewis Carroll

eBOOK

$3.29

Symbolic Logic - Lewis Carroll

eBOOK

$2.99

The Game of Logic - Lewis Carroll

eBOOK

The Book of Infinity - Joel David Hamkins

eBOOK

RRP $127.08

$101.99

20%
OFF