The foundations of mathematics in the theory of sets - J. P. Mayberry (Cambridge Unveristy Press, 2001)