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

Detalles Bibliográficos
Autor principal: Luckhardt, Horst
Formato: Printed Book
Lenguaje:English
Publicado: Berlin Springer-Verlag 1973
Materias:
classical analysis > godel function > Theory of functions

UL

Detalle de Existencias desde UL
Número de Clasificación: 517.5 LUC
Copia Estatus de actividad no disponible

Ejemplares similares