Extensional Gödel functional interpretation : a consistency proof of classical analysis

Extensional Gödel functional interpretation a consistency proof of classical analysis

Teilw. zugl.: Marburg/Lahn, Habil.-Schr., 1970

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Luckhardt, Horst (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1973
Schriftenreihe:Lecture notes in mathematics 306
Schlagworte:
Proof theory > Intuitionistic mathematics > Goedel's theorem > Mathematics, general > Mathematics > Hochschulschrift > Mathematische Logik > Gödel-Funktionalinterpretation
Online Zugang:Inhaltsverzeichnis
Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Teilw. zugl.: Marburg/Lahn, Habil.-Schr., 1970
Beschreibung:VI, 161 S
4°
ISBN:3540061193
3-540-06119-3
0387061193
0-387-06119-3