Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

504 Seiten, Taschenbuch
€ 83,10
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Mehr Informationen
Reihe Lecture Notes in Mathematics
Themen Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik
ISBN 9783540064916
Sprache Englisch
Erscheinungsdatum 14.11.1973
Größe 235 x 155 mm
Verlag Springer
Herausgegeben von Anne S. Troelstra
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

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.

Mehr Informationen
Reihe Lecture Notes in Mathematics
Themen Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik
ISBN 9783540064916
Sprache Englisch
Erscheinungsdatum 14.11.1973
Größe 235 x 155 mm
Verlag Springer
Herausgegeben von Anne S. Troelstra
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post