Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=логика предикатов<.>

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Вид документа : Однотомное издание
Шифр издания : 22.12/И 26
Автор(ы) : Игошин В.И.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студ. вузов
Выходные данные : М.: Академия, 2004
Колич.характеристики :446, [1] с
Серия: Высшее профессиональное образование
ISBN, Цена 5-7695-1363-2: 206.60 р.
ББК : 22.12я73
Предметные рубрики: Высшая математика
Экземпляры : всего 79: Ч.з.1(5), Аб.2(59), Аб.3(20)
Свободны : Ч.з.1(5), Аб.2(59), Аб.3(20)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 87.4/З-47
Автор(ы) : Зегет В.
Заглавие : Элементарная логика
Выходные данные : М.: Высш. шк., 1985
Колич.характеристики :255, [1] с
Цена : 0.90 р.
ББК : 87.4
Предметные рубрики: Логика
Экземпляры :Аб.2(1)
Свободны : Аб.2(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.1/И 26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для физ.-мат. спец. пед. ин-тов
Выходные данные : Б.м., 1991
Колич.характеристики :255, [1] с
Примечания : Библиогр.: с. 250-252
ISBN, Цена 5-292-00259-3: 3.00 р.
ББК : 22.122я73
Предметные рубрики: Математическая логика
Экземпляры :Ч.з.1(1)
Свободны : Ч.з.1(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 87.4/Б 86
Автор(ы) : Бочаров, Вячеслав Александрович, Маркин, Владимир Ильич
Заглавие : Основы логики : учеб. для студ. вузов
Выходные данные : М.: ИД "Форум"; М.: ИНФРА-М, 2008
Колич.характеристики :333 с
Коллективы : МГУ им. М.В. Ломоносова
Серия: Классический университетский учебник: осн. в 2002 г.
ISBN, Цена 978-5-8199-0169-4: 134.90 р.
ББК : 87.4я73-1
Предметные рубрики: Логика
Экземпляры : всего : Ч.з.1(2)
Свободны : Ч.з.1(2)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)