000 00613cam a2200229ua 4500
001 223
005 20220105002007.0
007 ta
008 080617s2004 g b000 u eng u
041 1 _aeng
_hNULL
082 1 4 _a004
_bHUT
100 1 _aHuth, Michael .
245 1 0 _aLogic In Computer Science /
_cMichael Huth.
_hTextual Documents
250 _a2 /
_b.
260 _aCambridge :
_bCambrdge University Press ,
_c2004.
300 _aNULL ;
_cNULL.
653 0 _aComputer Science
700 1 _aRyan, Mark .
942 _cBK
999 _c297857
_d297857