Поиск :
Личный кабинет :
Электронный каталог: Боков, Григорий Владимирович - Неразрешимое итеративное пропозициональное исчисление
Боков, Григорий Владимирович - Неразрешимое итеративное пропозициональное исчисление
Электронный ресурс (аналит. описание)
Автор: Боков, Григорий Владимирович
Алгебра и логика. - 2016. - Т. 55, № 4: Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует
Автор: Боков, Григорий Владимирович
Алгебра и логика. - 2016. - Т. 55, № 4: Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует
На полку
Электронный ресурс (аналит. описание)
Боков, Григорий Владимирович.
Неразрешимое итеративное пропозициональное исчисление [Электронный ресурс ] / Г. В. Боков // Алгебра и логика. - 2016. - Т. 55, № 4. – С. 419-431. – Режим доступа : https://www.elibrary.ru/contents.asp?id=34338356 (дата обращения: 17.04.2020). – Для авторизованных пользователей МПГУ. – Библиогр.: с. 430-431. – На рус. яз.
2016
основной = математика
основной = математика : математическая логика
основной = математика : математический анализ : функциональные пространства
основной = ЭБС elibrary.ru
основной = сверка 2024
Боков, Григорий Владимирович.
Неразрешимое итеративное пропозициональное исчисление [Электронный ресурс ] / Г. В. Боков // Алгебра и логика. - 2016. - Т. 55, № 4. – С. 419-431. – Режим доступа : https://www.elibrary.ru/contents.asp?id=34338356 (дата обращения: 17.04.2020). – Для авторизованных пользователей МПГУ. – Библиогр.: с. 430-431. – На рус. яз.
2016
основной = математика
основной = математика : математическая логика
основной = математика : математический анализ : функциональные пространства
основной = ЭБС elibrary.ru
основной = сверка 2024
Привязано к:
Нет экз.