TY  - BOOK
AU  - Eccles, Peter J.
AU  - ill
TI  - An introduction to mathematical reasoning numbers, sets and functions
SN  - 0 521 59718 8
AV  - QA9.54.E23 
CY  - Cambridge
KW  - Proof theory
ER  -