Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
(Sprache: Englisch)
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.
Leider schon ausverkauft
versandkostenfrei
Buch
53.45 €
Produktdetails
Produktinformationen zu „Metamathematical Investigation of Intuitionistic Arithmetic and Analysis “
Klappentext zu „Metamathematical Investigation of Intuitionistic Arithmetic and Analysis “
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.
Inhaltsverzeichnis zu „Metamathematical Investigation of Intuitionistic Arithmetic and Analysis “
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.
Bibliographische Angaben
- 1973, 504 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: Anne S. Troelstra
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540064915
- ISBN-13: 9783540064916
- Erscheinungsdatum: 14.11.1973
Sprache:
Englisch
Kommentar zu "Metamathematical Investigation of Intuitionistic Arithmetic and Analysis"
0 Gebrauchte Artikel zu „Metamathematical Investigation of Intuitionistic Arithmetic and Analysis“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Metamathematical Investigation of Intuitionistic Arithmetic and Analysis".
Kommentar verfassen