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

R/9156/210/88
Cook, S. Functional interpretations of feasibly constructive arithmetic / S.Cook. - Toronto : [s. n.], 1988. - 70,16 p. p. : ill. - (Technical report / Univ. of Toronto ; n210/88). - 3.00 р. - Текст : непосредственный.
Библиогр.:с.69-70

ГРНТИ	УДК
27.41.23	519.6

Рубрики:
Сложность вычислений

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

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