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

Лекция №13. Л.Д. Беклемишев. Слабо экстенсиональные лямбда-алгебры. Модель Плоткина Pω