TY - BOOK AU - Korfhage,Robert R., x AU - x TI - Logic and algorithms: with applications to the computer and information sciences SN - x U1 - 517.521/KOL PY - 1967/// CY - N.Y. PB - Wiley KW - Calculus ER -