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

Список книг

Книги по сериям
Книги по УДК
Статистика

Поиск:
В запросе для поиска укажите через пробел начала поисковых слов.
Например, аналит геом или Курош

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

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

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

* Книги из домашней библиотеки. Большинство книг в очень хорошем состоянии. У некоторых старых книг (до 1955 года издания) состояние хорошее.
** Местонахождение - г. Москва. Способ передачи - при личной встрече (с почтой предпочитаю не связываться)
*** Предложение актуально! Сайт регулярно обновляется. Последнее обновление (этой страницы) 2018-05-28 08:18.

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

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

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

с 30 июля 2008 Яндекс.Метрика