Lógica matemática elemental /
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 form...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
Tecnos,
1979.
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 287 p. ; 22 cm. |
| ISBN: | 843090509x |