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