Una formalizacion recursiva finitariamente consistente de un trozo de aritmetica no constructiva y su relacion con el analisis recursivo
Document title: Una formalizacion recursiva finitariamente consistente de un trozo de aritmetica no constructiva y su relacion con el analisis recursivo
Journal: Anales del Instituto de Matemáticas - UNAM
Database: PERIÓDICA
System number: 000063609
ISSN: 0185-0644
Authors:
Year:
Volumen: 20
Number: 2
Pages: 205-258
Country: México
Document type: Artículo
Approach: Teórico
Disciplines: Matemáticas
Keyword: Matemáticas puras,
Aritmética,
No constructiva,
Analisis recursivo,
Sistemas formales
Keyword: Mathematics,
Pure mathematics,
Arithmetics,
Non constructive,
Recursive analysis,
Formal systems
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).