Eccles, Peter J Introduction to mathematical reasoning: numbers, sets and functions - Cambridge University Press 1997 - xii,350p. ISBN: 0521597188 Subjects--Index Terms: Proof theory Dewey Class. No.: 511.3 / ECC