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