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

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

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

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

    Метакидес, Г.
    Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. - ISBN 5-88688-037-2 : 50.00 р.
ББК В12
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- логическая семантика -- логическое программирование -- логические программы

Держатели документа:
ЯрГУ

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