000 00560nam a22002057a 4500
999 _c52620
_d52620
008 190315b ||||| |||| 00| 0 eng d
020 _a9789813237544 (HB)
041 _aeng
080 _a510.6
_bKIM
100 _aByunghan Ed.,
245 _aProceedings of the 14th and 15th Asian Logic Conferences
260 _aNew Jersey
_bWorld Scientific
_c2019
300 _axii, 295 p.
690 _aMathematics
700 _aBrendle, Jorg, , Fenrong Liu, R,
700 _a Gyesik Lee
700 _aRamanujam R
700 _aShashi M Sriniva
942 _cBK