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

Bibliografiska uppgifter
Huvudupphovsman: Luckhardt, Horst
Materialtyp: Printed Book
Språk:English
Publicerad: Berlin Springer-Verlag 1973
Ämnen:
classical analysis > godel function > Theory of functions
Beskrivning
Beskrivning:
Fysisk beskrivning:vi,161p.

Liknande verk