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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

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

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

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

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

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

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

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

   22.1
   Е 80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р.

ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
учебное пособие для вузов -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Аб.2 (2), Ч.з.1 (5)
Свободны: Аб.2 (2), Ч.з.1 (5)
Найти похожие

   22.12
   К 60

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : УРСС, 2004. - 238, [2] с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 149.50 р.

ББК 22.122я73
Рубрики: Математическая логика--теория множеств
Кл.слова (ненормированные):
математические языки -- логические законы -- теория алгоритмов -- теория доказательств -- математическая логика -- учебник для вузов

Доп.точки доступа:
Драгалин, А.Г.; МГУ им. М. В. Ломоносова
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие

   22.12
   Е 80

    Ершов, Ю. Л.
    Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р.

ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие

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

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