Поиск :
Личный кабинет :
Электронный каталог: Кейслер, Г.Дж. - Теория моделей
Кейслер, Г.Дж. - Теория моделей
Доступно
1 из 1
1 из 1
Заказать 
На полку
Книга
С14 К-337
Кейслер, Г.Дж.
Теория моделей / Г.Дж.Кейслер, Ч.Ч.Чен ; Пер. с англ.: С.С.Гончаров, [и др.] ; Ред. пер. с англ.: Ю.Л.Ершов, А.Д.Тайманов. – М. : Мир, 1977. – 614 с. – Библиогр.:с.592-604.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 К-337
Кейслер, Г.Дж.
Теория моделей / Г.Дж.Кейслер, Ч.Ч.Чен ; Пер. с англ.: С.С.Гончаров, [и др.] ; Ред. пер. с англ.: Ю.Л.Ершов, А.Д.Тайманов. – М. : Мир, 1977. – 614 с. – Библиогр.:с.592-604.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |