Zurück
Vor
Proof Theory and Intuitionistic Systems
Kurzinformation
Sprache:
Englisch
ISBN:
9783540055419
Verlag:
Seitenzahl:
300 Seiten
Auflage:
-
Erschienen:
1971-01-01
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
33,25 €
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
33,25 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-65%
- Taschenbuch
- 544 Seiten
- Erschienen 2010
- Suhrkamp Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hegel, Georg Wilhelm Friedrich
9,17 €
26,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-74%
- Hardcover
- 420 Seiten
- Erschienen 1991
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Smorynski, Craig
21,10 €
80,24 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-83%
frontend/listing/product-box/box-product-slider.tpl
- Broschiert -
- Erschienen 1979
- Suhrkamp
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Gethmann, Carl Fr.
1,11 €
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
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
- Hardcover
- 240 Seiten
- Erschienen 2002
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Nipkow, Tobias;Wenzel, Mark...
47,96 €
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
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 432 Seiten
- Erschienen 2002
- Cambridge University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.;Troelstr...
52,35 €
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
- Hardcover
- 584 Seiten
- Erschienen 2012
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Bernays, Paul;Hilbert, David;
62,87 €
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
- Hardcover
- 392 Seiten
- Erschienen 1981
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Buchholz, W.;Sieg, W.;Pohle...
29,76 €