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

Bibliographic Details
Main Author: Luckhardt, Horst
Format: Printed Book
Language:English
Published: Berlin Springer-Verlag 1973
Subjects:
classical analysis > godel function > Theory of functions

UL

Holdings details from UL
Call Number: 517.5 LUC
Copy Live Status Unavailable

Similar Items