Foundations of mathematics - Stewart, Ian (Oxford Oxford University Press, 1983)