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

Ф.Н. Пахомов. Лекция 20. α-большие множества и фундированность. Нормальные формы Π11-формул