Logic and algorithms with applications to the computer and information sciences - Korfhage, Robert R (New York John Wiley & Sons, 1966)
Includes bibliographies.
1
Keywords: Logic, Symbolic and mathematical; Algorithms