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

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

 

---