TY  - BOOK
AU  - Korfhage, Robert R.
TI  - Logic and algorithms: with application to the computer and infor mation sciences 
U1  - 621.395 KOR 
PY  - 1966///
CY  - New York
PB  - John Wiley & Sons
KW  - Logic, Symbolic and mathematical
KW  - Algorithms
N1  - Includes index
ER  -