Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

Л.Д. Беклемишев, Ф.Н. Пахомов. Алгебры рефлексии для предикативных расширений арифметики Пеано