Степанов Е.О.
Основы формальных логических языков
Основы теории алгоритмов
Товары для саморазвития и самопознания