Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>S=исчисление высказываний и предикатов<.>)
Общее количество найденных документов
:
1
1.
В12
В317
В12 / В317-02
Верещагин, Николай Константинович
.
Языки и исчисления / Н. К. Верещагин, А. Шень. - Изд. 4-е, испр. - Москва : Изд-во МЦНМО, 2012. - 240 с. : ил. ; 21 см. - (Лекции по математической логике и теории алгоритмов). - Указ. предм. и имен.: с. 228-240. - Библиогр.: с. 224-227. - 1000 экз.
На обл. авт. не указаны
ГРНТИ
27.03
УДК
510(075.8)^V3
ББК
В123
Рубрики:
исчисление
высказываний
и
предикатов
Кл.слова (ненормированные):
Математическая логика
--
Алгоритмы
Доп.точки доступа:
Шень, Александр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
74-23-2012но
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН