Local cover image
Image from Amazon.com
Image from OpenLibrary
¿Qué es la lógica matemática? [Texto impreso] J.N. Crossley... [et al.] ; presentación y notas de Luis Ml. Valdés, traducción [del inglés] de Jesús Alcolea Banegas ; revisada por Luis Ml. Valdés
Tipo de material:
TextoIdioma: Español - [spa] Series Cuadernos de filosofía y ensayoDetalles de publicación: Madrid : Tecnos, D.L. 1983.Edición: 2a edDescripción: 192 páginas : 18 x 11 cmISBN: - 8430910115
Contenidos:
Existencias:
La idea de infinito y la lógica matemática . introducción.-- 1. Panorama histórico.-- 2. La completud del cálculo de predicados.-- 3. Teoría de modelos.-- 4. Máquinas de Turing y funciones recursivas.-- 5. Los teoremas de incompletud de Gödel.-- 6. Teoría de conjuntos .-- Algunas sugerencias para seguir leyendo. indice analítico.
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libros
|
Módulo-Campus | CG | 510.6 C951 (Browse shelf(Opens below)) | 1 | Único ejemplar | 11436 |
La idea de infinito y la lógica matemática . introducción.-- 1. Panorama histórico.-- 2. La completud del cálculo de predicados.-- 3. Teoría de modelos.-- 4. Máquinas de Turing y funciones recursivas.-- 5. Los teoremas de incompletud de Gödel.-- 6. Teoría de conjuntos .-- Algunas sugerencias para seguir leyendo. indice analítico.
There are no comments on this title.
Log in to your account to post a comment.
Click on an image to view it in the image viewer