000 00504nam a2200205Ia 4500
005 20250412104909.0
008 240822s9999 xx 000 0 und d
020 _a9789394612495
_qhbk
041 _aeng
082 _a511.1
_bNOR
100 _aNorse, Arvid
245 0 _aProving Theorems
_c Arvid Norse
250 _a1st ed.
260 _bPhoenix Publications
_c2022
_aUK
300 _aviii, 368 p.
_c; 25 cm
504 _aindex
650 _aMathmatics
700 _aNorse, Arvid
942 _cREF
999 _c526319
_d526319