Logic and algorithms: with applications to the computer and information sciences - Korfhage, Robert R. (New York: John Wiley & sons, 1966)
Index.
Keywords: Logic; Algorithms