Verwandte Artikel zu Metamathematical Investigation of Intuitionistic Arithmetic...
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics)
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 60,98
Versand:
EUR 28,99
Von Deutschland nach USA
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Verlag:
Springer Berlin Heidelberg
(1973)
ISBN 10: 3540064915
ISBN 13: 9783540064916
Neu
Taschenbuch
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage 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. Artikel-Nr. 9783540064916
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 60,98
Währung umrechnen