Полное описание

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

Заказать издание
Заказ фрагмента документа ₽