Поиск :
Личный кабинет :
Электронный каталог: Булос, Джордж - Вычислимость и логика
Булос, Джордж - Вычислимость и логика
Доступно
1 из 1
1 из 1
Заказать 
На полку
Книга
С14 Б-907
Булос, Джордж.
Вычислимость и логика / Джордж Булос, Ричард Джеффри ; Пер. с англ.: В.А.Душский, Е.Ю.Ногина ; Ред.: С.Н.Артемов. – М. : Мир, 1994. – 396 с. – Пер. изд.: Computability and Logic / Boolos G., Jeffrey R.C. - Cambridge etc.: Cambridge Univ. Press, 1989. – ISBN 5-03-003067-0.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = машина Тьюринга
Ключевых слов = диагонализация
С14 Б-907
Булос, Джордж.
Вычислимость и логика / Джордж Булос, Ричард Джеффри ; Пер. с англ.: В.А.Душский, Е.Ю.Ногина ; Ред.: С.Н.Артемов. – М. : Мир, 1994. – 396 с. – Пер. изд.: Computability and Logic / Boolos G., Jeffrey R.C. - Cambridge etc.: Cambridge Univ. Press, 1989. – ISBN 5-03-003067-0.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = машина Тьюринга
Ключевых слов = диагонализация
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |