TY  - BOOK
AU  - Sperschneider, V
TI  - Logic: a foundation for computer science 
SN  - 0-201-56514-5
AV  - QA 76 S6787.1991
PY  - 1991///
CY  - Wokingham
PB  - Addison-Wesley
KW  - Computación
KW  - Inteligencia artificial
KW  - simbólica y matemática
N1  - Incluye índice; Incluye referencia bibliográfica
ER  -