000 00395nam a2200169 4500
020 _a9783030738419
082 _a511.3
_bEBB.M
084 _2Colon Classification
100 _aEbbinghaus, Heinz-Dieter
245 _aMathematical Logic
250 _a3
260 _aFreiburg:
_bSpringer;
_c2024.
300 _a304p.
700 _aJorg Flum
700 _aWolfgang Thomas
942 _2ddc
_cBK
999 _c728250
_d728250