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

Dettagli Bibliografici
Autore principale: Luckhardt, Horst
Natura: Printed Book
Lingua:English
Pubblicazione: Berlin Springer-Verlag 1973
Soggetti:
classical analysis > godel function > Theory of functions
Descrizione
Descrizione del documento:
Descrizione fisica:vi,161p.

Documenti analoghi