MIPT-ML-20-Lect-23a

Математическая логика в МФТИ для ПМФ. Темы: элементарная эквивалентность линейных дискретных порядков.