Библиотека Амурского Государственного Университета

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

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

Поисковый запрос: (<.>K=элементы теории доказательств<.>)

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

   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2004. - 126 с. - Библиогр.: с. 122. - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 114.44 р.

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

Доп.точки доступа:
Верещагин, Н.К.; Плиско, В.Е.
Экземпляры всего: 5
аб. (3), ч.з. (2)
Свободны: аб. (2), ч.з. (2)
Найти похожие

   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2007. - 126 с. - Библиогр. : с. 122 . - Предм. указ. : с. 123 . - ISBN 978-5-9221-0278-0 : 142.78 р.

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

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

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

Статистика за 18.08.2024
Число запросов	26801
Число посетителей	1
Число заказов	0

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