TY  - BOOK
AU  - Korfhage, Robert R
TI  - Logic and algorithms: with applications to the computer and information sciencec 
AV  - QA 9 K678
PY  - 1976///, c1966
CY  - New York
PB  - J. Wiley & Sons
KW  - Lógica simbólica y matemática
KW  - Algoritmos
N1  - Incluye índice
ER  -