| 000 | 00509pam a2200169a 44500 | ||
|---|---|---|---|
| 008 | 160408bc1993 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a621.381958 _bIn8 |
||
| 100 | _aGordon, M. J. C. | ||
| 245 | 1 |
_aINTRODUCTION TO HOL _cA THEOREM PROVING ENVIRONMENT FOR HIGHER ORDER LOGIC |
|
| 260 |
_aCambridge _bCambridge Univ. Press _cc1993 |
||
| 300 | _axi,472 | ||
| 650 | _aLogic Programming | ||
| 650 | _aLogic, Symbolic And Mathematical | ||
| 700 | _aMelham, T. F. | ||
| 964 | _gCIRC | ||
| 997 | _aA116165 s C | ||
| 999 |
_c324764 _d324764 |
||