Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


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

Вид поиска

Область поиска
Поисковый запрос: (<.>K=ПРЕДИКАТЫ (МАТЕМАТИКА)<.>)
Общее количество найденных документов : 1
1.
   22.12
   М 50


    Мендельсон, Эллиот.
    Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 с. - Библиогр.: с.296-309. - 1.65 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ МНОЖЕСТВ -- АЛГОРИТМЫ -- ТЕОРИЯ АЛГОРИТМОВ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ПРЕДИКАТЫ (МАТЕМАТИКА)


Доп.точки доступа:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

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