"Математическая логика и теория алгоритмов. Уч.пособ" - читать интересную книгу автора (Терехов Д.В., Куценко Д.А. )