MIPT-ML-20-Sem-24a

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