Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Gentzen's Centenary - The Quest for Consistency (Paperback, 1st ed. 2015) Loot Price: R4,544

Discovery Miles 45 440

Repayment Terms: R426 pm x 12*

Add to cart

Gentzen's Centenary - The Quest for Consistency (Paperback, 1st ed. 2015): Reinhard Kahle, Michael Rathjen

Gentzen's Centenary - The Quest for Consistency (Paperback, 1st ed. 2015)

Reinhard Kahle, Michael Rathjen

(sign in to rate)

Loot Price R4,544 Discovery Miles 45 440 | Repayment Terms: R426 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

Gerhard Gentzen has been described as logic's lost genius, whom Goedel 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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Release date:	November 2015
First published:	2015
Editors:	Reinhard Kahle • Michael Rathjen
Dimensions:	235 x 155 x 29mm (L x W x T)
Format:	Paperback
Pages:	561
Edition:	1st ed. 2015
ISBN-13:	978-3-319-10102-6
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	3-319-10102-1
Barcode:	9783319101026