000 00530nam a2200241Ia 4500
001 111989
003 YMCAF
005 20230512162449.0
008 100717s2005 ||||||||||||||||| ||und|d
020 _a0-521-67089-6
024 _a111989
035 _aWB2976
040 _aYMCAF
_beng
_cIN-KoLT
041 _aeng
082 _a004
_bHUT
100 _aHuth, M and Ryan, M
245 0 _aLogic in computer science
250 _a2nd
260 _bCambridge
_c2005
300 _a427
653 _aComputer
942 _2ddc
_cBK
999 _c12143
_d12143