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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 22.12/Е 80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика : учеб. пособие . -3-е изд., стер.
Выходные данные : СПб. [и др.]: Лань, 2004
Колич.характеристики :336 с
Серия: Учебники для вузов. Специальная литература
ISBN, Цена 5-8114-0533-2: 169.50 р.
ББК : 22.122я73
Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(4)
Свободны : Ч.з.1(4)
Найти похожие

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

Вид документа : Однотомное издание
Шифр издания : 22.12/К 60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин А.Г.
Заглавие : Математическая логика : учеб. пособие для студ. мат. спец. вузов
Выходные данные : М.: УРСС, 2004
Колич.характеристики :238, [2] с
Коллективы : МГУ им. М. В. Ломоносова
Серия: Классический университетский учебник
ISBN, Цена 5-354-00389-X: 149.50 р.
ББК : 22.122я73
Предметные рубрики: Математическая логика-- теория множеств
Экземпляры : всего : Ч.з.1(4)
Свободны : Ч.з.1(4)
Найти похожие

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

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