Този сайт използва "бисквитки" (cookies), които ни помагат да предоставим пълната фукнционалност на сайта и да подобрим нашата онлайн услуга. Продължавайки да разглеждате и използвате този сайт, Вие се съгласявате с използването на "бисквитки", съгласно нашата Политика за бисквитки.

поредица "Математическая логика и основная математики"

Математическая логика и автоматическое доказательство теорем/Математическа логика и автоматично доказване на теореми

от Ч. Чень, Р. Ли

преводач: Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной
издание: 1983
издателство: Наука
език: руски
корици: твърди
страници: 360
размери: 15х22 cm

категории: Нехудожествена литература, Преводна литература, Литература на чужд език, Математика

Наличност: 1 брой

20,⁰⁰ лв. / 10,²³ €
Много добро състояние на книжното тяло. С пожълтели страници, следи от употреба

Как да поръчате?

Добавете книги в кошницата чрез бутона "ДОБАВИ В КОШНИЦАТА".
В горния десен ъгъл на страницата се намира вашата "КОШНИЦА". В брояча до нея виждате броя на добавените книги, както и общата сума на поръчката.
Когато сте готови с Вашия избор и желаете да финализирате поръчката, натиснете бутона "КОШНИЦА" и следвайте инструкциите.

Как да премахнете книга от кошницата?

Натиснете бутона "КОШНИЦА" горе вдясно и в страницата, която ще се отвори, използвайте кръглите червени бутони "Х" срещу всяко заглавие.