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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

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

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

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

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

Поисковый запрос: <.>A=Мендельсон, Эллиот$<.>

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

   22.1
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - М. : Наука, 1984. - 319, [1] с. - 1.80 р.

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

Доп.точки доступа:
Кабаков, Ф.А. \пер. с англ.\; Адян, С.И. \ред.\
Экземпляры всего: 3
Ч.з.1 (3)
Свободны: Ч.з.1 (3)
Найти похожие

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

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