Книги домашней библиотеки на продажу

Книга Математическая теория логического вывода

Извините, книга продана (2021.09.21):
Математическая теория логического вывода (Сб. переводов. Под ред. Идельсона А.В., Минца Г.Е.) (Математическая логика и основания математики). - М.: Наука, 1967. - 352 с.. - [21.09.21 500 УДК 512.8+164]

фото 2

В сборнике представлены классические работы по теории логического вывода. Ведущее место занимают статьи основоположника теории логического вывода Г. Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода. С помощью этого метода получен также ряд важнейших результатов из оснований математики - доказана, например, противоречивость чистой теории чисел с аксиомой полной индукции. Включены также работы С.К. Клини, К. Геделя, К. Шютте и др.

* Книги из домашней библиотеки. Большинство книг в очень хорошем состоянии. У некоторых старых книг (до 1955 года издания) состояние хорошее.
** Местонахождение - г. Москва. Способ передачи - при личной встрече (с почтой предпочитаю не связываться)

Для контакта используйте email: sw710@narod.ru (Хочу купить или договориться о цене) или гостевую книгу

См. также Список книг на продажу

Продажа книги домашней (личной, семейной) библиотеки (собрания). Ответ за запрос "Куплю (хочу купить) книгу (или где продается книга) Математическая теория логического вывода"