TY  - BOOK
AU  - Juliàn,Iranzo Pascual
TI  - Lògica Simbòlica para informàticos
SN  - 9701510720
U1  - 005.131 J854l 
CY  - México : 
PB  - Alfaomega
KW  - LOGICA - CLASIFICACION
KW  - LOGICA SIMBOLICA Y MATEMATICA
N1  - Introduccion a la logica, Semantica, Calculo axiomatico y propiedades formales, Logica de predicados, Semantica, Calculo de decuccion natural
ER  -