Поиск :
Личный кабинет :
Электронный каталог: Мендельсон, Э. - Введение в математическую логику
Мендельсон, Э. - Введение в математическую логику
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
1 из 2
Книга
Автор: Мендельсон, Э.
Введение в математическую логику : Пер.с англ.
Издательство: Наука, 1984 г.
ISBN отсутствует
Автор: Мендельсон, Э.
Введение в математическую логику : Пер.с англ.
Издательство: Наука, 1984 г.
ISBN отсутствует
Книга
С14 М-501
Мендельсон, Э.
Введение в математическую логику : Пер.с англ. / Э.Мендельсон ; Ред. пер. с англ.: С.И.Адян. – 3-е изд. – М. : Наука, 1984. – 320 с. : ил. – Библиогр.:с.296-309.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 М-501
Мендельсон, Э.
Введение в математическую логику : Пер.с англ. / Э.Мендельсон ; Ред. пер. с англ.: С.И.Адян. – 3-е изд. – М. : Наука, 1984. – 320 с. : ил. – Библиогр.:с.296-309.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ЦБ | 1 | 1 | 1 | Заказать | |
ЛВЭ | 1 | - | - | Недоступно |