An Introduction to mathematical reasoning : numbers, sets and functions - Peter J. Eccles (Cambridge University Press, 2000)