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