|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики
Кафедра математической логики и теории алгоритмовподразделение
Работы, добавленные за последние 2 недели версия для печати
| 12 Июн | 2025 Notes on Iterative Summation of Alternating Factorials Kanovei Vladimir, Lyubetsky Vassily |
| 05 Июн | 2025 Independence of the Comprehension Schema in Second-Order Arithmetic from the Parameter-Free Countable Choice Kanovei V.G., Lyubetsky V.A. |