Поиск :
Личный кабинет :
Электронный каталог: Робинсон, А. - Введение в теорию моделей и математику алгебры
Робинсон, А. - Введение в теорию моделей и математику алгебры
Экз. чит. зала
Книга
Автор: Робинсон, А.
Введение в теорию моделей и математику алгебры
Серия: Математическая логика и основания математики
Издательство: Наука, 1967 г.
ISBN отсутствует
Автор: Робинсон, А.
Введение в теорию моделей и математику алгебры
Серия: Математическая логика и основания математики
Издательство: Наука, 1967 г.
ISBN отсутствует
На полку
Книга
С14 Р-583
Робинсон, А.
Введение в теорию моделей и математику алгебры / А.Робинсон ; Пер. с англ.: А.Б.Волынский ; Ред., предисл.: А.Д.Тайманов. – М. : Наука, 1967. – 376 с. – (Математическая логика и основания математики). – Библиогр.:с.356-372. – Пер.изд.:Introduction to model theory and to the metamathematics of algebra.Abraham Robinson.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 Р-583
Робинсон, А.
Введение в теорию моделей и математику алгебры / А.Робинсон ; Пер. с англ.: А.Б.Волынский ; Ред., предисл.: А.Д.Тайманов. – М. : Наука, 1967. – 376 с. – (Математическая логика и основания математики). – Библиогр.:с.356-372. – Пер.изд.:Introduction to model theory and to the metamathematics of algebra.Abraham Robinson.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | - | - | Недоступно |