TY  - BOOK
AU  - Korfhage R R
TI  - Logic and algorithms with applications to the computer and information sciences
U1  - 005.131 
PY  - 1966///
CY  - London
PB  - John Wiley
KW  - Algorithms
KW  - Computational logic
KW  - Information science
ER  -