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
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
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
6,82 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-52%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-52%
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
-4%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-69%
- Pappe
- 208 Seiten
- Erschienen 1997
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fine, Benjamin und Rosenber...
26,36 €
85,59 €
frontend/listing/product-box/box-product-slider.tpl
-58%
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Newman, James R.
42,29 €
99,95 €
frontend/listing/product-box/box-product-slider.tpl
-36%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-46%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-21%
- paperback
- 200 Seiten
- Maeger, A
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Maeger, Annemarie
10,68 €
13,50 €
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
-34%
- Kartoniert
- 344 Seiten
- Erschienen 2001
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Shoenfield, Joseph R.
39,64 €
59,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
-74%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-67%
frontend/listing/product-box/box-product-slider.tpl
-40%
- paperback
- 432 Seiten
- Erschienen 1996
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Cresswell, M. J.
32,53 €
54,59 €
frontend/listing/product-box/box-product-slider.tpl
-67%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-47%
- Kartoniert
- 216 Seiten
- Erschienen 2013
- Birkhäuser
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Gasquet, Olivier und Schwar...
48,06 €
90,94 €
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
-80%
- Kartoniert
- 310 Seiten
- Erschienen 2007
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Watzlawek, Wolfgang
9,84 €
49,95 €
frontend/listing/product-box/box-product-slider.tpl
-26%
frontend/listing/product-box/box-product-slider.tpl