TY  - BOOK
AU  - Korfhage,Robert R.
TI  - Logic and algorithms,: with applications to the computer and information sciences 
AV  - QA 161 K84l 1966
U1  - 164 
PY  - 1966///]
CY  - New York
PB  - John Wiley
KW  - Logic, Symbolic and mathematical
KW  - Algorithms
KW  - Logique symbolique et mathematique
KW  - Algorithmes
N1  - Includes bibliographies
ER  -