Крупнейшая книготорговая и букинистическая интернет-ярмарка
География участников
Графики
Статистика участников
Продажи за месяц
Посещаемость страниц
Страницы продавцов
Описания книг
Чень, Ч.; Ли, Р.: "Математическая логика и автоматическое доказательство теорем"