000 | 00526 a2200253 4500 | ||
---|---|---|---|
001 | 38244 | ||
020 | _a0-262-15028-X2 | ||
041 | _aeng | ||
080 | _a681.3.06 O'D | ||
245 | _aEquational logic as a programming language | ||
250 | _a | ||
260 | _aCambridge | ||
260 | _bMIT Press, | ||
260 | _c1986 | ||
300 | _a296 p. | ||
300 | _c24 cm | ||
490 | _a | ||
100 | _aO'Donnell, Michael J | ||
700 | _a | ||
650 | _a | ||
650 | _aProgramming languages (Electronic computer) | ||
942 | _cBK | ||
942 | _2UDC | ||
999 |
_c20970 _d20970 |