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