| 000 | 00536 a2200217 4500 | ||
|---|---|---|---|
| 008 | 110605s9999 xx 000 0 eng d | ||
| 240 | 1 | 0 | _a22.12/G-43 |
| 020 |
_a0198596715 _c1005 |
||
| 084 |
_a22.12 _bG-43 |
||
| 100 | 1 | _aGibbins P. | |
| 245 | 1 | 0 | _aLogic with Prolog |
| 260 |
_aАнгли _bClarendon Press _c1988 |
||
| 300 | _a321 | ||
| 653 | _amathematics | ||
| 653 | _alogic | ||
| 653 | _acomputing sciencs | ||
| 653 | _aprolog | ||
| 653 | _apropositional calculus | ||
| 653 | _apredicate calculus | ||
| 653 | _aprogram proving | ||
| 999 |
_c199 _d199 |
||