An introduction to mathematical reasoning : numbers, sets, and functions /
Eccles, Peter J.,1945-
Cambridge : Cambridge University Press,
1997.
Includes indexes
Proof theory.