MIPT-ML-20-Lect-24

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