An introduction to mathematical reasoning numbers, sets and functions - Eccles, Peter J. (Cambridge Cambridge University Press, 1997)
Keywords: Proof theory; Logic, Symbolic and mathematical; Mathematics --Problems, exercises, etc