TY  - BOOK
AU  - Korfhage, R.R.
TI  - Logic and algorithms
U1  - 511.8 
PY  - 1966///
CY  - N.Y.
PB  - John Wiley
KW  - logic
ER  -