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
18,96 €
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
18,96 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-73%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
11,66 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-88%
frontend/listing/product-box/box-product-slider.tpl
-75%
- Hardcover
- 228 Seiten
- Erschienen 1989
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Pohlers, Wolfram
20,03 €
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
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
-2%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-88%
frontend/listing/product-box/box-product-slider.tpl
-72%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
4,19 €
15,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-66%
- hardcover
- 253 Seiten
- Erschienen 1994
- Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hulsbergen, Wilfred W. J.
29,06 €
85,59 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-64%
frontend/listing/product-box/box-product-slider.tpl
-40%
frontend/listing/product-box/box-product-slider.tpl
-43%
- paperback
- 206 Seiten
- Erschienen 1989
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jonathan Ian Richards
63,46 €
111,28 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-51%
frontend/listing/product-box/box-product-slider.tpl
-82%
frontend/listing/product-box/box-product-slider.tpl
-79%
- Gebunden
- 279 Seiten
- Erschienen 2019
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Takloo-Bighash, Ramin
11,00 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-75%
- Taschenbuch
- 417 Seiten
- Erschienen 1998
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Rudin, Walter
24,14 €
94,95 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-72%
- Hardcover
- 432 Seiten
- Erschienen 2002
- Cambridge University Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.;Troelstr...
18,39 €
65,80 €
frontend/listing/product-box/box-product-slider.tpl
-73%
frontend/listing/product-box/box-product-slider.tpl
-92%
- paperback
- 398 Seiten
- Erschienen 2001
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Walter, Wolfgang
4,12 €
49,99 €
frontend/listing/product-box/box-product-slider.tpl
-67%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
23,23 €
70,19 €
frontend/listing/product-box/box-product-slider.tpl
-54%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-15%
- paperback
- 484 Seiten
- Erschienen 2015
- De Gruyter
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Murawski, Roman
25,46 €
29,95 €
frontend/listing/product-box/box-product-slider.tpl
-74%
- Hardcover
- 464 Seiten
- Erschienen 2006
- Birkhäuser
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Escher, Joachim;Amann, Herb...
16,45 €
64,19 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-92%
frontend/listing/product-box/box-product-slider.tpl
-77%