Sobre el programa de Hilbert y la noción de formalismo recursivo

Detalles Bibliográficos
Autor principal: Tomás Pons, Francisco
Formato: Tesis de licenciatura
Publicado: MX 1989
Materias:
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000765385
http://132.248.9.195/ptd2017/septiembre/0765385/Index.html

Ejemplares similares