Logic and algorithms : with applications to the computer and information sciences. - Korfhage, Robert R. (Willey, 1967)