MIPT-ML-20-Sem-27a

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