Discrete structures, logic, and computability - Hein, James L (Sudbury, Mass.: Jones and Bartlett Pub., 2010)
Keywords: Logic programming; Logic, Symbolic and mathematical; Computer science -- -- Mathematics; Data structures (Computer science)