TY  - BOOK
AU  - Korfhage, Robert R
AU  - 
TI  - Logic and algorithms: with applications to the computer and information sciences
U1  - 517.1 
PY  - 1966///
CY  - 
PB  - New York; Wiley
KW  - Logic
KW  - Probabilities
KW  - Mathematical logic
KW  - logic for computers
KW  - Algorithms
ER  -