Математическая логика и автоматическое доказательство теорем/Математическа логика и автоматично доказване на теореми
от Ч. Чень, Р. Ли
- преводач: Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной
- издание: 1983
- издателство: Наука
- език: руски
- корици: твърди
- страници: 360
- размери: 15х22 cm
категории: Нехудожествена литература, Преводна литература, Литература на чужд език, Математика
Безплатна доставка до офис на куриер или при вземане от нашите книжарници. Разбери повече →
local_shipping
Наличност: 1 брой
-
15,00 € / 29,34 лв.Много добро състояние на книжното тяло. Минимални следи от престой, пожълтели страници.
Добавете книги в кошницата чрез бутона "ДОБАВИ В КОШНИЦАТА".
В горния десен ъгъл на страницата се намира вашата "КОШНИЦА". В брояча до нея виждате броя на добавените книги, както и общата сума на поръчката.
Когато сте готови с Вашия избор и желаете да финализирате поръчката, натиснете бутона "КОШНИЦА" и следвайте инструкциите.
Натиснете бутона "КОШНИЦА" горе вдясно и в страницата, която ще се отвори, използвайте кръглите бутони "Х" срещу всяко заглавие.