Полное описание
> Girard, J. Y. Proof theory and logical complexity / J.Y.Girard. - Amsterdam : North-Holland, 1990. - 503 p. - (Studies in Proof theory ; vol.1). - Текст : непосредственный.
Библиогр.: с.497-500. Указ.: с.501-503
ГРНТИ | УДК | |
27.03.19 | 510 | |
03.91 |
Рубрики:
Математическая логика
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17163/1)>
Шифр в сводном ЭК: cd6fb0cd32e9e71aa514bb2fa9e43b68
Заказ фрагмента документа ₽