Eccles, Peter J. An introduction to mathematical reasoning : numbers, sets, and functions / Peter J. Eccles. - Cambridge : Cambridge University Press, 1997. - xii, 350 p. ; 24 cm. Includes index. Includes bibliographical references. ISBN: 0521592690 (hardback) Subjects--Topical Terms: Proof theory.