The foundations of mathematics - Stewart, Ian (Oxford University Press, 1977)