Discrete structures logic and computability - Hein, James L (Jones and Bartlett Learning Burlington, 2017)
Keywords: Computer science -mathematics