Игорь Шиманогов. Счётные булевы алгебры - 1. TCSeminar.

Приносим извинения за возможные неполадки во время записи. TCSeminar - это семинар по теоретической информатике кафедры МОУ для студентов МФТИ. Подробную информацию ищите на https://t.me/tcsseminar.