Caricamento...

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:

Documenti analoghi