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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

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

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 22.1/Е 80
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика : учеб. пособие для мат. спец. вузов . -2- изд.
Выходные данные : М.: Наука, 1987
Колич.характеристики :336 с
Цена : 0.40 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры : всего : Аб.2(2), Ч.з.1(5)
Свободны : Аб.2(2), Ч.з.1(5)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.1/Е 80
Автор(ы) : Ершов, Андрей Петрович
Заглавие : Введение в теоретическое программирование. Беседы о методе : учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика"
Выходные данные : М.: Наука, 1977
Колич.характеристики :288 с
Цена : 0.80 р.
ББК : 22.1
Предметные рубрики: Программирование
Экземпляры : всего : Ч.з.1(3)
Свободны : Ч.з.1(3)
Найти похожие

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

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