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

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

 

---