TY - BOOK AU - Eccles, Peter J. TI - An introduction to mathematical reasoning: numbers,sets and functions SN - 0521597188 U1 - 511.3 PY - 1997/// CY - Cambridge PB - Cambridge University Press KW - Proof theory N1 - Includes bibliographical references and index ER -