MATHEMATICAL FOUNDATIONS OF PROGRAMMING - Backman, Frank S. (Massachusetts Addison-Wesley, 1981)
Keywords: Logic, Symbolic And Mathematical; Formal Languages