MATES RENSON
LÓGICA MATEMÁTICA ELEMENTAL.
- 1A. ed
- MADRID 1979
- 287 21.5
EL LENGUAJE FORMALIZADO
. -- ENUNCIADOS TAUTOLÓGICOS
. -- ALGUNOS MATEOREMAS
. -- TEORÍAS FORMALIZADAS
. -- BREVE ESBOZO DE LA HISTORIA DE LA LÓGICA.
MATEMÁTICAS.-LÓGICA
511.3.MATE.00