An introduction to mathematical reasoning : numbers,sets and functions - Eccles, Peter J.. (Cambridge : Cambridge University Press, 1997)
NULL
Keywords: PROOF THEORY