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
31,56 €
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
31,56 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
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,60 €
109,95 €
frontend/listing/product-box/box-product-slider.tpl
-64%
- Hardcover
- 216 Seiten
- Erschienen 2013
- Oldenbourg Wissenschaftsverlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schulz, Friedmar
10,85 €
29,80 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-70%
- Hardcover
- 120 Seiten
- Erschienen 2024
- De Gruyter
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Helmberg, Gilbert
11,08 €
36,95 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-50%
- Hardcover
- 394 Seiten
- Erschienen 1990
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Ireland, Kenneth;Rosen, Mic...
38,13 €
77,00 €
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
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
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...
17,40 €
frontend/listing/product-box/box-product-slider.tpl