Теория доказательств/Такеути, Гаиси.

 

QR-код документа

Оценок: 0

517 Т 15
Такеути, Гаиси.
    Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.

УДК
517.11

Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\

Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)

Авторизуйтесь для получения дополнительных услуг