Ashlock, Daniel An introduction to proofs with set theory Cham, Switzerland : Springer Nature Switzerland, 2022. xv, 233 p. -- (Synthesis lectures on mathematics and statistics ; vol. 35) QA248 A745