Zurück
Vor

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Kurzinformation
Sprache:
Englisch
ISBN:
9783540064916
Verlag:
Seitenzahl:
504 Seiten
Auflage:
-
Erschienen:
1973-11-14



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
7,00 €
Lieferzeit 1-3 Werktage
Weitere Zahlungsmöglichkeiten

Beschreibung
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum. von Troelstra, Anne S.
Produktdetails
Einband:
Hardcover
Seitenzahl:
504 Seiten
Erschienen:
1973-11-14
Sprache:
Englisch
EAN:
9783540064916
ISBN:
9783540064916
Verlag:
Gewicht:
756 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
7,00 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-90%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
4,31 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-32%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-98%
frontend/listing/product-box/box-product-slider.tpl
-40%
frontend/listing/product-box/box-product-slider.tpl
-90%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
1,55 €
15,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-87%
- hardcover
- 253 Seiten
- Erschienen 1994
- Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hulsbergen, Wilfred W. J.
10,79 €
85,59 €
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
-60%
- Hardcover -
- Erschienen 2009
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schmidt, Alexander
17,32 €
42,79 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-62%
- Pappe
- 208 Seiten
- Erschienen 1997
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fine, Benjamin und Rosenber...
32,70 €
85,59 €
frontend/listing/product-box/box-product-slider.tpl
-48%
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Newman, James R.
52,46 €
99,95 €
frontend/listing/product-box/box-product-slider.tpl
-21%
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
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
-79%
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
-98%
- paperback
- 208 Seiten
- Erschienen 1990
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Whitelaw, Thomas A.
1,78 €
85,55 €
frontend/listing/product-box/box-product-slider.tpl
-68%
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