TY - BOOK AU - Korfhage, Robert R. TI - Logic and algorithms with application to the computer and information sciences U1 - 511.3 PY - 1966/// CY - New York PB - John Wiley ER -