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

Detalles Bibliográficos
Autor Principal: Luckhardt, Horst
Formato: Printed Book
Idioma:English
Publicado: Berlin Springer-Verlag 1973
Subjects:
classical analysis > godel function > Theory of functions
Descripción
descrición da copia:
Descrición Física:vi,161p.

Títulos similares