Logic and algorithms, with applications to the computer and information sciences - Korfhage, Robert R. (John Willey and Sons, 1966)