000 00481nam a2200193Ia 4500
008 240510s9999 xx 000 0 und d
020 _a0000521527147
041 _aEng
082 _a004.0151
082 _bB41
100 _aBLACKBURN P. & RIJKE M. & VENEMA Y.
245 0 _aMODAL LOGIC
260 _bCAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS
260 _c2001
300 _a554 p.
650 _aDISCRETE MATHAMATICS : LOGIC PROGRAMMING
942 _2ddc
942 _cRBK
999 _c25636
_d25636
945 _a1
_bMadushi Gamage
_c1
_dMadushi Gamage