MIPT-MaTh-24-Lect-sn2

Basics of Mathematical Logic at MIPT. In this lecture: the Axiom of Finite Union; set algebra operations; main identities.