Математическая логика и теория алгоритмов для программистов. (Бакалавриат). Учебное пособие

Гринченков Д.В., Потоцкий С.И.

 

---