| Маркер записи | n |
| Контрольный номер | RU/IS/BASE/607766266 |
| Дата корректировки | 10:21:23 8 апреля 2019 г. |
| Цена, тираж | 1-79 |
| Служба первич. каталог. |
Лапко БГТУ |
| Код языка каталог. | rus |
| Правила каталог. | PSBO |
| Код языка издания | rus |
| Индекс УДК | 510:6 |
| Полочн. индекс | 517 |
| Авторский знак | М34 |
| Генцен, Г. | |
|
Математическая теория логического вывода Текст сборник переводов под ред.: А. В. Идельсона, Г. Е. Минца |
|
| Место издания | Москва |
| Издательство | Наука, Главная редакция физико-математической литературы |
| Дата издания | 1967 |
| Объем | 350, [1] с. |
| Серия | Математическая логика и основания математики |
| Аннотация | Эта книга является сборником переводов статей по теории логического вывода. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи освоположника теории логического вывода Г. Генцена. |
|
математическая логика математическая теория логического вывода исследование логических выводов непротиворечивость чистой теории чисел метод семантических таблиц теорема Эрбрана Эрбрана теорема |
|
| Другие авторы | Бет, Э. |
|
Кангер, С. Клини, С. К. Шютте, К. Гедель, К. Минц, Г. Е. |
|
| Тип документа | m |
