Поиск :
Личный кабинет :
Электронный каталог: Карри, Х.Б. - Основания математической логики
Карри, Х.Б. - Основания математической логики
Доступно
1 из 1
1 из 1
Заказать 
На полку
Книга
С14 К-268
Карри, Х.Б.
Основания математической логики / Х.Б.Карри ; Пер. с англ.: В.В.Донченко ; Ред.: Ю.А.Гастев. – М. : Мир, 1969. – 568 с. – Библиогр.: с.518-547.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 К-268
Карри, Х.Б.
Основания математической логики / Х.Б.Карри ; Пер. с англ.: В.В.Донченко ; Ред.: Ю.А.Гастев. – М. : Мир, 1969. – 568 с. – Библиогр.: с.518-547.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |