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

Teilw. zugleich:Marburg, Univ., Fachbereich Mathematik, Habil.-Schr. 1970.

Bibliographische Detailangaben

1. Verfasser:	Luckhardt, Horst
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin ˜u.a.œ Springer 1973
Schriftenreihe:	Lecture notes in mathematics 306
Schlagworte:	Gödel-Funktionalinterpretation > Mathematische Logik > Analysis > Gödelsches Funktional
Online Zugang:	Cover Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!