Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Интуиционистская логика математическая<.>)
Общее количество найденных документов : 1
1.
   Pr1084
   Pr1084/1981-19
Pr1084/1981-19 / Pr1084/1981-19-02 ВМИ

    Smith, Jan.
    Course-of-values recursion on lists in intuitionistic type theory : сборник / J. Smith. - Goteborg : [s. n.], 1981. - 26 l. - (Publicationes / Chalmers institute of technology and the University of Goteborg. Department of mathematics ; № 1981-19)
Bibliogr.: l. 26
Перевод заглавия: Производящая рекурсия на перечне в интуиционистской теории типов
27.03
ББК В127 + В123
Рубрики: Рекурсивные функции
   Интуиционистская логика математическая
   Типов теория
Кл.слова (ненормированные):
конструктивный анализ
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН