TY  - GEN
AU  - Stahl,Gerold
TI  - Introduccion a la logica simbolica / 
U1  - 511.3 
PY  - 1965///0000
CY  - Chile, cl
PB  - Universitaria
KW  - LOGICA SIMBOLICA
N2  - Consideraciones generales sobre la logica.-Las bases formales de un sistema exacto.-El sistema proposicional.-El sistema de funciones.-Aplicaciones de la logica simbolica a la logica clasica.-Identidad y descripcion.-Las clases.-Las relaciones.-Las descripciones con relaciones.-Caracteristicas de relaciones.-Clases y relaciones numericas.-Aplicacion de la logica simbolica a la matematicas.-Las logicas no simplemente bivalentes.-La metalogica.-
ER  -