MIPT-ML-24-Lect-sn1

Математическая логика в МФТИ. Темы: правая обратная функции; аксиома выбора; индексированные семейства, их объединения и произведения; частичные порядки.