A first course in mathematical logic and set theory - O'Leary, Michael L. (Wiley, 2016)