Математическая теория логического вывода: сборник переводов / Генцен Г., Бет Э., Кангер С. и др.; под редакцией А. В. Идельсона, Г. Е. Минца. - Москва: Наука, 1967. - 352 с. - (Математическая логика и основания математики). - Прил.Отраслевые рубрики: математика; математическая логика Ключевые слова: Эрбрана теорема, аксиоматика, арифметика, генценовские исчисления, индукция, интерполяционная теорема, интуитивная логика, исчисление предикатов, непротиворечивость, семантика, теория чисел
Сигла хранения | Всего экз. | В наличии | Заказано | чит. зал | 1 | 1 | 0 |
|