Полное описание
>
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)
Копия:
Заказ фрагмента документа ₽