TY  - BOOK
TI  - An introduction to mathematical reasoning : numbers, sets and functions
SN  - 9780521592697
U1  - 511.3 ECC 
PY  - 1997///
CY  - Cambridge
PB  - Cambridge Univeristy Press
KW  - Proof theory
N1  - Includes bibliographical references and index
ER  -