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 |
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.
