000 00340nam a22001337a 4500
005 20250725120231.0
008 250725b |||||||| |||| 00| 0 eng d
041 _aeng
100 _aDomolki B.
245 _aMathematical Logic in Computer Science
_c/ by B.Domolki
260 _aNew York
_bNithHolland
_c1981
300 _a757p.
942 _cBK
999 _c41272
_d41272