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