Korfhage, Robert R. Logic and algorithms : with applications to the computer and information sciences / Robert R. Korfhage. - New York : John Wiley, 1966. - xii, 194 p. : ISBN: ISBNSc1281 Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 511.3 / Lo