000 | 00419nam a2200133Ia 4500 | ||
---|---|---|---|
008 | 211224s9999 xx 000 0 und d | ||
020 | _a9780521597180 | ||
082 | _a511.3 ECC | ||
100 | _aEccles, Peter J | ||
245 | 3 | _aAn introduction to mathematical reasoning : numbers, sets, and functions | |
260 |
_aCambridge: _bCambridge Univeristy Press, _c1997 |
||
300 | _axii, 350 p. : ill. ; 24 cm | ||
650 | _aProof theory | ||
999 |
_c17639 _d17639 |