INTRODUCCIÓN A LA LÓGICA MATEMÁTICA.
- 1A. ed
- BARCELONA 1982
- 278 21.5
SIMBOLIZACIÓN DE PROPOSICIONES . -- INFERENCIA LÓGICA . -- CERTEZA Y VALIDEZ . -- TABLAS DE CERTEZA . -- TÉRMINOS, PREDICADOS Y CUANTIFICADORES UNIVERSALES . -- ESPECIFICACIONES UNIVERSALES Y LEYES DE IDENTIDAD . -- UN SISTEMA MATEMÁTICO SIMPLE.