000 | 00551nam a2200205Ia 4500 | ||
---|---|---|---|
999 |
_c136895 _d136895 |
||
005 | 20250804152712.0 | ||
008 | 180323s9999||||xx |||||||||||||| ||und|| | ||
020 | _a9780521670890 | ||
040 |
_aUPES LIBRARY _bEnglish |
||
082 | _a004 HUT | ||
100 |
_aHuth, Michael _964225 |
||
245 | 0 | _aLogic in computer science | |
250 | _a2nd, ed | ||
260 |
_aNew Delhi : _bCambridge University Press, _c2005 |
||
300 | _axiv, 427p. | ||
500 | _areprint - 2016 | ||
650 |
_aComputer science _964941 |
||
700 |
_aRyan, Mark _964227 |
||
942 | _cBK |