A first course in mathematical logic and set theoryby Michael L. O'Leary, 2016
A geometry of approximationby Piero Pagliani and Mihir Chakraborty, 2008
Computational logic and set theory: applying formalized logic to analysisby J.T Schwartz, D. Cantone and E.G Omodeo, 2011
Lectures in logic and set theory: volume 1by George Tourlakis, 2003
Pure mathematics for beginnersby Steve Warner, 2018
Set theroy and logicby Robert R. Stoll, 1961
Set theory, logic and their limitationsby Moshe Machover, 1996
