Вид документа : Однотомное издание Шифр издания : Pr1084/Pr1084/1981-19 Автор(ы) : Smith, Jan Заглавие : Course-of-values recursion on lists in intuitionistic type theory : сборник Выходные данные : Goteborg, 1981 Колич.характеристики :26 l Серия: Publicationes/ Chalmers institute of technology and the University of Goteborg. Department of mathematics; № 1981-19 Примечания : Bibliogr.: l. 26 Цена : 39 р. ГРНТИ : 27.03 ББК : В127 + В123 Предметные рубрики: Рекурсивные функции Интуиционистская логика математическая Типов теория Дескрипторы: сб пр--моногр Ключевые слова (''Своб.индексиров.''): конструктивный анализ Экземпляры :02 ВМИ(1) Свободны : 02 ВМИ(1) |