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