Zurück
Vor
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Kurzinformation
Sprache:
Englisch
ISBN:
9783540064916
Verlag:
Seitenzahl:
504 Seiten
Auflage:
-
Erschienen:
1973-11-14
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
24,82 €
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
24,82 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-75%
frontend/listing/product-box/box-product-slider.tpl
-98%
- Hardcover
- 196 Seiten
- Erschienen 1999
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Koepf, Wolfram;Schmersau, D...
2,05 €
109,95 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-73%
- Hardcover
- 300 Seiten
- Erschienen 2018
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Takloo-Bighash, Ramin
14,41 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-69%
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
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...
24,07 €
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
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
-75%
frontend/listing/product-box/box-product-slider.tpl
-98%
- Hardcover
- 196 Seiten
- Erschienen 1999
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Koepf, Wolfram;Schmersau, D...
2,05 €
109,95 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-73%
- Hardcover
- 300 Seiten
- Erschienen 2018
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Takloo-Bighash, Ramin
14,41 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-69%