Wong, B. Logic in General and Mathematical Logic in Particular ∗ . basm 2021, 40 (2), 172–176. https://doi.org/10.48165/.