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

Базы данных

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

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

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

    Smith, Jan.
    An interpretation of Martin-Lof's type theory in a type free theory of propositions / J. Smith. - Goteborg : [s. n.], 1980. - 38 l. - (Publicationes / Chalmers institute of technology and the University of Goteborg. Department of mathematics ; № 1980-20). - Bibliogr.: l. 38
Перевод заглавия: Интерпретация теории типов Мартина-Лефа в свободной теории типов утверждений
27.03
ББК В123
Рубрики: Типов теория
   Пропозициональные логики
Кл.слова (ненормированные):
интуиционистская теория типов
Дескрипторы: сб пр -- моногр

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