Logic and algorithms : with application to the computer and infor mation sciences - Korfhage, Robert R. (New York : John Wiley & Sons, 1966)
Includes index.
Keywords: Logic, Symbolic and mathematical; Algorithms