| 000 | 00704nam a2200217u 4500 | ||
|---|---|---|---|
| 001 | 00768286 | ||
| 003 | PWmBRO | ||
| 008 | 180388 | ||
| 090 | _b005.131/D752f | ||
| 100 | 1 | 0 | _aDowsing, Roy. |
| 245 | 1 | 2 |
_aA first course in formal logic and its applications in computer science / _cR.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. |
| 260 |
_aOxford : _bBlackwell Scientific, _cc1986 |
||
| 300 | _avi, 265 p. | ||
| 440 | 0 | 0 | _aComputer science texts |
| 650 | 0 | 0 |
_aElectonic digital computers _xProgramming. |
| 650 | 0 | 0 | _aProgramming (Mathematics) |
| 650 | 0 | 0 | _aLogic, Symbolic and mathematical. |
| 700 | 2 | 0 | _aRayward-Smith, V. J. |
| 700 | 1 | 0 | _aWalter, C. D. |
| 942 | _2ddc | ||
| 999 |
_c44533 _d44533 |
||