Поиск :
Личный кабинет :
Электронный каталог: Шанин, Н.А. - О некоторых логических проблемах арифметики
Шанин, Н.А. - О некоторых логических проблемах арифметики
![](/OpacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
1 из 1
Книга
Автор: Шанин, Н.А.
Труды Математического института им. В.А. Стеклова. Т.43: О некоторых логических проблемах арифметики
1955 г.
ISBN отсутствует
Автор: Шанин, Н.А.
Труды Математического института им. В.А. Стеклова. Т.43: О некоторых логических проблемах арифметики
1955 г.
ISBN отсутствует
Многотомник
С1(04)
Математический институт им. В.А. Стеклова.
Труды Математического института им. В.А. Стеклова / Математический институт им. В.А. Стеклова. – М. : МАИК "Наука/Интерпериодика". – На англ.яз. переводится под загл.: Proceedings of the Steklov Institute of Mathematics.
Книга
С1(04) М-34
Шанин, Н.А.
Т.43 : О некоторых логических проблемах арифметики / Н.А.Шанин. – 1955. – 112 с. – Библиогр.: с.110-111. – ISSN 0371-9685.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С1(04)
Математический институт им. В.А. Стеклова.
Труды Математического института им. В.А. Стеклова / Математический институт им. В.А. Стеклова. – М. : МАИК "Наука/Интерпериодика". – На англ.яз. переводится под загл.: Proceedings of the Steklov Institute of Mathematics.
Книга
С1(04) М-34
Шанин, Н.А.
Т.43 : О некоторых логических проблемах арифметики / Н.А.Шанин. – 1955. – 112 с. – Библиогр.: с.110-111. – ISSN 0371-9685.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ЦБ | 1 | 1 | 1 | Заказать |