Korfhage, Robert R Logic and algorithms with applications to the computer and information sciences by Robert R. Korfhage - New York John Wiley & Sons 1966 - xii, 194 p. : ill. ; 24 cm. Includes bibliographies. LCCN: 66-025225 Subjects--Topical Terms: Logic, Symbolic and mathematicalAlgorithms