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

Detalhes bibliográficos
Autor principal: Luckhardt, Horst
Formato: Printed Book
Idioma:English
Publicado em: Berlin Springer-Verlag 1973
Assuntos:
classical analysis > godel function > Theory of functions
Descrição
Descrição do item:
Descrição Física:vi,161p.

Registros relacionados