На Librarion размещена новая книга: Шень А. - Программирование: теоремы и задачи. 2-е изд.