Математическая логика и теория алгоритмов: учебное пособие — Пальчунов Д.Е.