MIPT-ML-20-Sem-09a

Мат. логика в МФТИ. Доп. семинар. Темы: равномощность и вложение; теорема Кантора-Бернштейна-Шрёдера; аксиома выбора.