Чень Ч., Ли Р.
Математическая логика и автоматическое доказательство теорем
Серия "Математическая логика и основания математики". М., Наука, 1983 г. 360 с. Тираж 8500 экз. Cостояние отличное.
Цена:
Город: Киев
Узнать о поступлении
На время военного положения сайт не работает.
Введите свой e-mail и город проживания, затем нажмите кнопку, чтобы сразу получить сообщение, когда
книга будет в наличии.
Неверно заполнено поле почтовый адрес!
Не все поля формы были заполнены
