TY  - BOOK
AU  - Korfhage, Robert R.
TI  - Logic and algorithms: with applications to the computer and information sciences 
SN  - ISBNSc1281
U1  - 511.3 
PY  - 1966///
CY  - New York
PB  - John Wiley
KW  - Logic, Symbolic and mathematical
ER  -