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
4,80 €
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
4,80 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
7,80 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
-76%
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
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
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
-64%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-86%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
9,56 €
70,19 €
frontend/listing/product-box/box-product-slider.tpl
-33%
- hardcover
- 397 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
de Rijke, Maarten
106,82 €
160,49 €
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%
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Newman, James R.
58,48 €
99,95 €
frontend/listing/product-box/box-product-slider.tpl
-82%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-88%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
1,73 €
15,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-55%
frontend/listing/product-box/box-product-slider.tpl
-98%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-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
-60%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-77%
- hardcover
- 198 Seiten
- Erschienen 1981
- McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jeffrey, Richard C.
14,84 €
64,57 €
frontend/listing/product-box/box-product-slider.tpl
-68%
- Kartoniert
- 239 Seiten
- Erschienen 2006
- Brill | mentis
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Barwise, John und Etchemend...
18,02 €
56,00 €
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
frontend/listing/product-box/box-product-slider.tpl
-74%
- paperback
- 364 Seiten
- Erschienen 2009
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schmidt-Petri, Christoph
27,88 €
106,99 €
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