Lógica matemática elemental /

Detalles Bibliográficos
Autor Principal: Mates, Benson
Otros autores o Colaboradores: García Trevijano, Carmen (tr.)
Formato: Libro
Lengua:español
Datos de publicación: Madrid : Tecnos, 1987.
Edición:1a. ed.
Series:Filosofía y ensayo
Temas:
Notas:Ej. 4 : 1a. ed., 1987.
Edición original: Elementary logic. Oxford : Oxford University, 1965.
Descripción Física:287 p.
ISBN:843090509X
Tabla de Contenidos:
  • Nuevas preliminares
  • El lenguaje formalizado £
  • Interpretaciones y validez universal
  • Traducción del lenguaje natural al lenguaje formal £
  • Enunciados tautológicos
  • Reglas de inferencia para £
  • Algunos metateoremas
  • Identidad y términos
  • Axiomas para £[1]
  • Teorías formalizadas
  • Breve esbozo de la historia de la lógica