MIPT-ML-20-Sem-19

Математическая логика в МФТИ для ПМФ. Семинар № 19. Тема: лемма Цорна и ее различные применения.