Lógica matemática elemental / Benson Mates.
Tipo de material:
TextoDetalles de publicación: Madrid : Tecnos, 1979.Descripción: 287 p. ; 22 cmISBN: - 843090509x
Libro
| Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|
| Koha Ingenieria | 164 MAT Bloque 1 (Navegar estantería(Abre debajo)) | Disponible | 38062 |
Navegando Koha Ingenieria estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | ||||||
| 164 DEA Bloque 1 Iniciacao á lógica matemática / | 164 DEK Bloque 1 Les fontions combinatoires et les isols | 164 DEL-Bloque 1 Prolegómenos a la lógica simbólica | 164 MAT Bloque 1 Lógica matemática elemental / | 164 MOR-Bloque 1 Ejercicios de lógica | 164 ROS Bloque 1 The elements of mathematical logic / | 164 WAN-Bloque 1 Popular lectures on mathematical logic |
Introducción.- Nuevos preliminares. - El lenguaje formalizado. - Interpretaciones y validez universal. - Traducción del lenguaje natural al lenguaje formal. -Enunciados tautológicos. - Reglas de inferencia para lenguaje formal. - Algunos metateoremas. - Identidad y términos. - Axiomas. Teorías formalizadas. Breve esbozo de la historia de la lógica.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.
