| 000 | 00436nam a22001577a 4500 | ||
|---|---|---|---|
| 008 | 230424b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_a519.68:510.6 _bL9 |
||
| 100 |
_aBoyer, Robert S _97333 |
||
| 245 | _aComputational logic | ||
| 260 |
_aLondon: _bAcademic Press, _c1979 |
||
| 300 | _axiv, 397p. | ||
| 650 | _aMotivation | ||
| 653 | _aTheory | ||
| 942 |
_2udc _cBK |
||
| 999 |
_c22901 _d22901 |
||