Una formalizacion recursiva finitariamente consistente de un trozo de aritmetica no constructiva y su relacion con el analisis recursivo



Título del documento: Una formalizacion recursiva finitariamente consistente de un trozo de aritmetica no constructiva y su relacion con el analisis recursivo
Revista: Anales del Instituto de Matemáticas - UNAM
Base de datos: PERIÓDICA
Número de sistema: 000063609
ISSN: 0185-0644
Autors:
Any:
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
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)