Verwandte Artikel zu Metamathematical Investigation of Intuitionistic Arithmetic...
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 61,15
EUR 7,63 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Metamathematical Investigation of Intuitionistic Arithmetic...
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540064916
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020157318
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540064916_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Verlag:
Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 504 pp. Englisch. Bestandsnummer des Verkäufers 9783540064916
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 504. Bestandsnummer des Verkäufers 262582272
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 504 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5298399
Anzahl: 4 verfügbar
Foto des Verkäufers
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Bestandsnummer des Verkäufers 4879223
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 504. Bestandsnummer des Verkäufers 182582282
Anzahl: 4 verfügbar
Foto des Verkäufers
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
ISBN 10: 3540064915
ISBN 13: 9783540064916
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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. 504 pp. Englisch. Bestandsnummer des Verkäufers 9783540064916
Anzahl: 2 verfügbar
Foto des Verkäufers
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783540064916
Anzahl: 1 verfügbar