Logic and algorithms : with applications to the computer and information sciences / - Korfhage, Robert R. (Wiley,, 1966)