| 000 | 00731nam a22002297a 4500 | ||
|---|---|---|---|
| 999 |
_c161599 _d161598 |
||
| 005 | 20220718133714.0 | ||
| 008 | 220322b ||||| |||| 00| 0 eng d | ||
| 020 | _a0632016124 | ||
| 041 | _aEN | ||
| 082 |
_223 _a005.131 _bDOW |
||
| 100 | _aDowsing, R.D. | ||
| 100 | _aRayward-Smith, V. J. | ||
| 100 | _aWalter, C.D. | ||
| 245 |
_aA First course in formal logic and its applications in computer science _c/ R.D. Dowsing, V. J. Rayward-Smith and C.D. Walter |
||
| 260 |
_aOxford _bBlackwell scientific publications _c1986 |
||
| 300 | _avi, 265 p. | ||
| 500 | _aIncludes references and index. | ||
| 509 | _aNS | ||
| 650 | 4 |
_93811 _aComputer science-Mathematics |
|
| 650 | 0 |
_9138840 _aProgramming (Mathematics) |
|
| 942 | _cS | ||