The foundations of mathematics in the theory of sets - Mayberry, John P. (Cambridge University Press, 2000)