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

R/17163/1
Girard, J. Y. Proof theory and logical complexity / J.Y.Girard. - Amsterdam : North-Holland, 1990. - 503 p. - (Studies in Proof theory ; vol.1). - 179.76 р. - Текст : непосредственный.
Библиогр.: с.497-500. Указ.: с.501-503

ГРНТИ	УДК
27.03.19	510
03.91

Рубрики:
Математическая логика

Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:

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