URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Генцен Г., Бет Э., Кангер С., Клини С.К., Шютте К., Гёдель К. Математическая теория логического вывода: Сб. переводов
Id: 64780
 
999 руб.

Математическая теория логического вывода: Сб. переводов

1967. 352 с. Твердый переплет. Букинист. Состояние: 4+. В суперобложке.
Под ред.: Идельсон А.В., Минц Г.Е.

 СОДЕРЖАНИЕ

Предисловие редакторов................... 5

Г енцен Г., Исследования логических выводов (перевод А. В. Идельсона). 9

Добавление переводчика................... 75

Г енцен Г., Непротиворечивость чистой теории чисел (перевод Г. Е. Минца) 77

Г енцен Г., Новое изложение доказательства непротиворечивости для чистой теории чисел (перевод Г. Е. Минца)...........154

Бет Э., Метод семантических таблиц (перевод А. О. Слисенко).... 191

Кангер С, Упрощенный метод доказательства для элементарной логики

(перевод С. Ю. Маслова).................200

Клини С. К., Перестановочность применений правил в генценовских исчислениях LK и LJ (перевод В. П. Оревкова и А. В. Сочилпной)... 208

Клини С. К-, Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов (перевод Г. В. Давыдова)....................237

Шютте К., Интерполяционная теорема для интуиционистской логики предикатов (перевод А. О. Слисенко)..............285

Генцен Г., Соединение нескольких полных индукций в одну-единственную (перевод Г. Е. Минца)..................29S

Гёдель К-, Об одном еще не использованном расширении финитной точки зрения (перевод Г. Е. Минца)...............299

Добавления переводчика................... 305

Приложение. Минц Г. Е., Теорема Эрбрана.........311

 
© URSS 2016.

Информация о Продавце