000 | 00644 a2200277 4500 | ||
---|---|---|---|
001 | 293998 | ||
020 | _a0-262-22047-4 | ||
041 | _aeng | ||
080 | _a517.1: 681.3Log | ||
245 | _aLogic and information flow | ||
250 | _a | ||
260 | _aCambridge | ||
260 | _bMIT Press | ||
260 | _c1994 | ||
300 | _a233 p. | ||
300 | _c23 cm | ||
490 | _aFoundations of computing series | ||
700 | _a | ||
700 | _avan Eijck Jan | ||
700 | _avan Eijck Jan | ||
650 | _a | ||
650 | _aMathematics | ||
650 | _aComputer science Natural language processing(Computer science) Logic, Symbolic and mathematical | ||
942 | _cBK | ||
942 | _2UDC | ||
999 |
_c152508 _d152508 |