Discrete structures, logic and computability - Hein, James L (Boston: Jones and Bartlett, 2010)
Keywords: Computable functions; Computer science-mathematics; Data structures (Computer science); Logic programming; Mathematical logic; Symbolic logic