Discrete structures, logic, and computability - Hein, James L. (New Delhi Jones & Bartlett, 2017)
Keywords: Logic, symbolic and mathematical; Data structure (Computer science); Computable functions