Sobre el programa de Hilbert y la noción de formalismo recursivo
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
-
Un modelo recursivo de reconocimiento sintactico
por: Pozzi Pardo, Maria
Publicado: (1971) -
Un sistema de tipos recursivos parcialmente ordenado
por: García García, Juan Manuel
Publicado: (1994) -
La transformada de Hilbert
por: Fernandez Martinez, Gustavo Orlando
Publicado: (1986) -
Acerca del formalismo en matematicas
por: Tamayo Zaragoza, Juan
Publicado: (1987) -
Espacios de Hilbert sobre la esfera y sus aplicaciones
por: Rodríguez García, Marco Antonio
Publicado: (2014)