000 00696nam a2200265Ia 4500
005 20260121173010.0
008 008 260114s9999 xx 000 0 eng d
020 _a9789811641732
037 _aEBOOK
040 _aCRL
040 _beng
040 _cCRL
041 _2eng
041 _aeng
084 _qCRL
100 _aToshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
_91095367
245 0 _aAdvances in Mathematical Logic
260 _bSpringer
260 _bSpringer
260 _c2021
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-981-16-4173-2
942 _cEBOOK
999 _c1661109
_d1661109