2022_Spring_Mathematical_Logic_141A.pdf