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

Базы данных

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

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

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

Smith J. Course-of-values recursion on lists in intuitionistic type theory/J. Smith. - 1981
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН