000 00536nam a2200193Ia 4500
005 20260120132223.0
008 008 260114s9999 xx 000 0 eng d
020 _a9781383026023
037 _aEBOOK
040 _aCRL
_beng
_cCRL
041 _aeng
_2eng
084 _qCRL
100 _aAbramsky
_9936390
245 0 _aHandbook of Logic in Computer Science
260 _bOxford University PressOxford University Press
_c2023
856 _uhttps://academic.oup.com/book/52952
942 _cEBOOK
999 _c1528313
_d1528313