Discrete structures, logic, and computability Discrete structures, logic, and computability 8 readers 1995