Extensional Godel functional intepretation: A consistency of proof of classical analysis

Bibliographische Detailangaben
1. Verfasser: Luckhardt, Horst
Format: Printed Book
Sprache:English
Veröffentlicht: Berlin Springer-Verlag 1973
Schlagworte:
classical analysis > godel function > Theory of functions
Beschreibung
Beschreibung:
Beschreibung:vi,161p.

Ähnliche Einträge