Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Страница 1, Результатов: 1