Biblioteca "Prof. Dr. Antonio M. Grompone"
A partir de esta página puede:
Información del autor
Autor Stephen Cole Kleene
Documentos disponibles escritos por este autor
Refinar búsqueda
/ Stephen Cole Kleene (1974)
| Título : | Introducción a la metamatematica | | Tipo de documento: | texto impreso | | Autores: | Stephen Cole Kleene, Autor | | Editorial: | Madrid : Tecnos | | Fecha de publicación: | 1974 | | Colección: | Estructura y Función num. 42 | | Número de páginas: | 494 p | | ISBN/ISSN/DL: | 978-84-309-0529-4 | | Idioma : | Español (spa) | | Clasificación: | [Palabras claves]LÓGICA MATEMÁTICA
[Palabras claves]MATEMÁTICA
| | Nota de contenido: | El problema de los fundamentos: La teoría de conjuntos.-- Algunos conceptos fundamentales.-- Una crítica del razonamiento matemático.-- Lógica matemática: Un sistema formal.-- Deducción formal.-- El cálculo proposicional.--El cálculo de predicados.-- Teoría formal de números.-- Funciones recursivas: Funciones recursivas primitivas.-- La aritmetización de la metamatemática.-- Funciones recursivas generales.-- Funciones recursivas parciales.-- Lógica matemática (Tópicos adicionales).-- El cálculo de predicados y sistemas axiomáticos.-- Consistencia, sistemas clásicos e intuicionistas.-- Bibliografía.-- Símbolos y notaciones.-- Índice analítico |
Introducción a la metamatematica [texto impreso] / Stephen Cole Kleene, Autor . - Tecnos, 1974 . - 494 p. - ( Estructura y Función; 42) . ISBN : 978-84-309-0529-4 Idioma : Español ( spa) | Clasificación: | [Palabras claves]LÓGICA MATEMÁTICA
[Palabras claves]MATEMÁTICA
| | Nota de contenido: | El problema de los fundamentos: La teoría de conjuntos.-- Algunos conceptos fundamentales.-- Una crítica del razonamiento matemático.-- Lógica matemática: Un sistema formal.-- Deducción formal.-- El cálculo proposicional.--El cálculo de predicados.-- Teoría formal de números.-- Funciones recursivas: Funciones recursivas primitivas.-- La aritmetización de la metamatemática.-- Funciones recursivas generales.-- Funciones recursivas parciales.-- Lógica matemática (Tópicos adicionales).-- El cálculo de predicados y sistemas axiomáticos.-- Consistencia, sistemas clásicos e intuicionistas.-- Bibliografía.-- Símbolos y notaciones.-- Índice analítico |
|  |
Reserva
Reservar este documento
Ejemplares
| Estado |
|---|
| 70614 | 511.3 KLEi | 7 días | Colección general | Libros | Domicilio
Disponible | Donación Jorge H. Cánepa De Boni |
,
,
