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