TY  - BOOK
AU  - Korfhage,Robert R
TI  - Logic and algorithms: with applications to the computer and information sciences
PY  - 1966///
CY  - New York
PB  - John Wiley & Sons
KW  - Logic, Symbolic and mathematical
KW  - Algorithms
N1  - Includes bibliographies
ER  -