Zurück
Vor

Gentzen's Centenary
Kurzinformation
Sprache:
Englisch
ISBN:
3319101021
Verlag:
Seitenzahl:
561
Auflage:
-
Erschienen:
2015-11-09



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten

Beschreibung
Gentzen's Centenary
The Quest for Consistency
Gerhard Gentzen has been described as logic's lost genius, whom Gödel 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.
Produktdetails
Einband:
Kartoniert
Seitenzahl:
561
Erschienen:
2015-11-09
Sprache:
Englisch
EAN:
9783319101026
ISBN:
3319101021
Verlag:
Gewicht:
882 g
Auflage:
-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Neu
149,79 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-17%
- hardcover
- 96 Seiten
- Erschienen 2014
- Scheidegger & Spiess
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Yatsunami, Hirokazu
28,11 €
34,00 €
frontend/listing/product-box/box-product-slider.tpl
-33%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-86%
- hardcover
- 192 Seiten
- Erschienen 2004
- Hirmer Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hans Günter Wachtmann
11,18 €
80,25 €
frontend/listing/product-box/box-product-slider.tpl
-28%
frontend/listing/product-box/box-product-slider.tpl
- Gebunden
- 141 Seiten
- Erschienen 2009
- Kristkeitz, Werner
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Wanshi, Shogaku und Hongzhi...
71,37 €
frontend/listing/product-box/box-product-slider.tpl
-29%
- Kartoniert
- 128 Seiten
- Erschienen 2013
- Wisdom Publications
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Collcutt, Martin und Morina...
11,37 €
16,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-93%
- Hardcover
- 352 Seiten
- Erschienen 2001
- Harper Perennial
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Duncan, David Ewing
1,21 €
17,60 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-13%
frontend/listing/product-box/box-product-slider.tpl
-83%
- paperback
- 111 Seiten
- Erschienen 1997
- Paper Tiger
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Suckling, Nigel
4,14 €
23,70 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-64%
- paperback
- 80 Seiten
- Erschienen 1976
- New Directions
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Humphreys, Christmas
3,79 €
10,50 €
frontend/listing/product-box/box-product-slider.tpl
-25%
- Gebunden
- 1388 Seiten
- Erschienen 2013
- Meiner, F
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Nida-Rümelin, Julian
95,72 €
128,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-100%
- Taschenbuch
- 592 Seiten
- Del Rey
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Dantec, Maurice G.
0,00 €
19,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-41%
- Klappenbroschur
- 136 Seiten
- Erschienen 2020
- Klett-Cotta
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Tsujimura, Koichi und Buchn...
11,81 €
20,00 €
frontend/listing/product-box/box-product-slider.tpl
-65%
frontend/listing/product-box/box-product-slider.tpl
-86%
- paperback
- 144 Seiten
- Erschienen 1987
- Penguin
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Durckheim, Karlfried
1,52 €
10,70 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-87%
- Kartoniert
- 592 Seiten
- Erschienen 2005
- Buch&Media
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Vogel, Beatrix und Seubert,...
6,15 €
49,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-38%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-67%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-0%
- Kartoniert
- 360 Seiten
- Erschienen 2022
- Aisthesis
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Grande, Jasmin und Männig, ...
37,87 €
38,00 €
frontend/listing/product-box/box-product-slider.tpl
-43%
- hardcover
- 190 Seiten
- Erschienen 2001
- Arbor
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schuhmacher, Stephan
10,75 €
18,80 €
frontend/listing/product-box/box-product-slider.tpl
-70%
- hardcover
- 459 Seiten
- Erschienen 1979
- Erich Schmidt Verlag, Berlin
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Zimmermann, Rolf Christian
23,98 €
79,00 €
frontend/listing/product-box/box-product-slider.tpl