MIPT-ML-20-Lect-01

Мат. логика в МФТИ. Неформальное введение в логику высказываний и предикатов.