Поиск :
Личный кабинет :
Электронный каталог: Клини, С.К. - Математическая логика
Клини, С.К. - Математическая логика
Доступно
2 из 2
2 из 2
Заказать 
На полку
Книга
С14 К-493
Клини, С.К.
Математическая логика / С.К.Клини ; Пер. с англ.: Ю.А.Гастев ; Ред. пер. с англ.: Г.Е.Минц. – М. : Мир, 1973. – 480 с. – Библиогр.:с.451-465.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 К-493
Клини, С.К.
Математическая логика / С.К.Клини ; Пер. с англ.: Ю.А.Гастев ; Ред. пер. с англ.: Г.Е.Минц. – М. : Мир, 1973. – 480 с. – Библиогр.:с.451-465.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 2 | 2 | 2 | Заказать |