Eccles, Peter J Introduction to mathematical reasoning: Numbers, sets and functions / by Peter J Eccles. - Cambridge: C U P, 1997. - 350p. ISBN: 0521597188 Subjects--Topical Terms: Proof theory Dewey Class. No.: 511.3 / ECC