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