Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог (книги,диски,ноты) - результаты поиска

Вид поиска
Электронный каталог (периодические издания)
Электронный каталог (книги,диски,ноты)
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 1
1.
   22.12
   У 77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2002. - 125 с. - ISBN 5-9221-0278-8 : 30.00 р.
ББК 22.12
Рубрики: Естественные науки--Математика
   Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логика высказываний -- кванторы -- теория доказательств -- теорема Гёделя о полноте -- теория алгоритмов


Доп.точки доступа:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Экземпляры всего: 1
ЦБ (1)
Свободны: ЦБ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)