Discrete structures, logic, and computability See original record