Korfhage, Robert R. Logic and algorithms with application to the computer and information sciences by Robert R. Korfhage. - New York John Wiley 1966 - 194p LCCN: 66-25225 Dewey Class. No.: 511.3 / N66;2