Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344, Band 344) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540064916_new
Neu kaufen
EUR 72,54
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 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. Artikel-Nr. 9783540064916
Neu kaufen
EUR 69,54
EUR 63,78 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | 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. Artikel-Nr. 4133014/202
Gebraucht kaufen
EUR 42,09
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Verlag:
Springer-Verlag, Berlin / Heidelberg, 1973
ISBN 10: 3540064915
ISBN 13: 9783540064916
Gebraucht
orig. wrappers
Anbieter: Expatriate Bookshop of Denmark, Svendborg, Dänemark
Verkäuferbewertung 5 von 5 Sternen
orig. wrappers. Zustand: Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525. Artikel-Nr. 027208
Gebraucht kaufen
EUR 52,15
EUR 129,00 Versand
Versand von Dänemark nach USA
Versand von Dänemark nach USA
Anzahl: 1 verfügbar