Zurück
Vor

Proof Theory and Intuitionistic Systems
Kurzinformation
Sprache:
Englisch
ISBN:
9783540055419
Verlag:
Seitenzahl:
300 Seiten
Auflage:
-
Erschienen:
1971-01-01



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
6,58 €
Lieferzeit 1-3 Werktage
Weitere Zahlungsmöglichkeiten

Beschreibung
Proof Theory and Intuitionistic Systems
and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*. von Scarpellini, Bruno
Produktdetails
Einband:
Hardcover
Seitenzahl:
300 Seiten
Erschienen:
1971-01-01
Sprache:
Englisch
EAN:
9783540055419
ISBN:
9783540055419
Verlag:
Gewicht:
458 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
Akzeptabel
6,58 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-86%
- Hardcover
- 228 Seiten
- Erschienen 1989
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Pohlers, Wolfram
11,31 €
80,24 €
frontend/listing/product-box/box-product-slider.tpl
-85%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
10,70 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-35%
frontend/listing/product-box/box-product-slider.tpl
-67%
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-92%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-91%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-86%
frontend/listing/product-box/box-product-slider.tpl
-51%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-81%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
13,11 €
70,19 €
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
-12%
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Newman, James R.
87,61 €
99,95 €
frontend/listing/product-box/box-product-slider.tpl
-76%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-84%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
2,37 €
15,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
-90%
- Hardcover
- 328 Seiten
- Erschienen 2003
- Cambridge University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Devlin, Keith J.;Keith, Dev...
4,64 €
45,00 €
frontend/listing/product-box/box-product-slider.tpl
-97%
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
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-45%
frontend/listing/product-box/box-product-slider.tpl
-60%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-41%
- Gebunden
- 326 Seiten
- Erschienen 2018
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Aigner, Martin und Ziegler,...
34,70 €
58,84 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-97%
- Hardcover
- 176 Seiten
- Erschienen 1980
- De Gruyter Mouton
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Clifford, John E.
2,87 €
109,95 €