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

Bibliografiset tiedot
Päätekijä: Luckhardt, Horst
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Berlin Springer-Verlag 1973
Aiheet:
classical analysis > godel function > Theory of functions
Kuvaus
Huomautukset:
Ulkoasu:vi,161p.

Samankaltaisia teoksia