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