"Discrete structures, logic, and computability" - читать интересную книгу автора (James L. Hein)