Математическая логика и теория алгоритмов

Элективный курс для 10-11 профильных классов. Колесниченко Е.В.