Поиск :
Личный кабинет :
Электронный каталог: Nagel, E. - Godel's Proof
Nagel, E. - Godel's Proof
Доступно
1 из 1
1 из 1
Книга
С14 N-16
Nagel, E.
Godel's Proof / E.Nagel, J.R.Newman. – London : Routledge & Kegan, 1959. – IX,118 p. – Bibliogr.:p.115.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 N-16
Nagel, E.
Godel's Proof / E.Nagel, J.R.Newman. – London : Routledge & Kegan, 1959. – IX,118 p. – Bibliogr.:p.115.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ЗИЛ | 1 | 1 | 1 | Заказать |