Revista: | Anales del Instituto de Matemáticas - UNAM |
Base de datos: | PERIÓDICA |
Número de sistema: | 000063609 |
ISSN: | 0185-0644 |
Autors: | Tomas, F |
Any: | 1980 |
Volum: | 20 |
Número: | 2 |
Paginació: | 205-258 |
País: | México |
Tipo de documento: | Artículo |
Enfoque: | Teórico |
Disciplines | Matemáticas |
Paraules clau: | Matemáticas puras, Aritmética, No constructiva, Analisis recursivo, Sistemas formales |
Keyword: | Mathematics, Pure mathematics, Arithmetics, Non constructive, Recursive analysis, Formal systems |
Solicitud del documento | |