000 | 00382nam a2200121Ia 4500 | ||
---|---|---|---|
008 | 211224s9999 xx 000 0 und d | ||
020 | _a9780521592697 | ||
082 | _a511.3 ECC | ||
245 | 3 | _aAn introduction to mathematical reasoning : numbers, sets and functions | |
260 |
_aCambridge: _bCambridge Univeristy Press, _c1997 |
||
300 | _axii, 350 : Fig ; 23 cm | ||
650 | _aProof theory | ||
999 |
_c17638 _d17638 |