MIPT-MaTh-22-Lect-sn8

Basics of Mathematical Logic at MIPT. In this lecture: structural induction on Boolean functions; closure properties; closed sets (classes); projectors, constant preserving, and self-dual functions as closed classes.