Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Поисковый запрос: (<.>K=конструктивная семантика<.>)
Общее количество найденных документов : 1
 1..1 
1.
В12я43
И88

   
    Исследования по теории алгоритмов и математической логике [Текст] : нелитературный текст / АН СССР. Вычислительный центр. - М. : Наука, 1979. - 133 с. - 10.00 р.
ББК В12я43
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная семантика -- теория алгоритмов -- многозначные логики

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
 1..1