Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344). Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 1973
- Softcover
- Neu
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei ZVAB seit 25. März 2015
Nicht verfügbar
Softcover
Zustand: Neu
EUR 82,85
Artikelbeschreibung des Verkäufers
In English.
Bestandsnummer des Verkäufers ria9783540064916_new
- Titel
- Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
- Verlag
- Springer
- Erscheinungsjahr
- 1973
- Zustand
- New
- Einband
- Softcover
- Sprache
- Englisch
- ISBN-10
- 3540064915
- ISBN-13
- 9783540064916
- Artikelgewicht
- 820 Gramm
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.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.