Mathematical foundations of programming - Beckman, Frank S. (Reading, Massachusetts Addison-Wesley, 1981)
Includes bibliographies and index
Keywords: Logic, symbolic and mathematical; Formal languages