Introduction to mathematical reasoning: numbers, sets and functions - Eccles, Peter J (University Press, 1997)