Поиск :
Личный кабинет :
Электронный каталог: Davis, M. - Computability and Unsolvability
Davis, M. - Computability and Unsolvability
Доступно
1 из 1
1 из 1
Книга
Автор: Davis, M.
Computability and Unsolvability
Издательство: McGraw-Hill, 1958 г.
ISBN отсутствует
Автор: Davis, M.
Computability and Unsolvability
Издательство: McGraw-Hill, 1958 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 D-26
Davis, M.
Computability and Unsolvability / M.Davis. – New York [etc.] : McGraw-Hill, 1958. – XXV,210 p.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 D-26
Davis, M.
Computability and Unsolvability / M.Davis. – New York [etc.] : McGraw-Hill, 1958. – XXV,210 p.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |