MIPT-ML-20-Sem-16

Математическая логика в МФТИ для ПМФ. Семинар № 16. Темы: фундированные и вполне упорядоченные множества (в.у.м.); лексикографический порядок; строение элементов в.у.м.