| 000 | 00706nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1987##################000#0#eng## | ||
| 020 | _a9780521395601 | ||
| 022 | _a87018305 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.125 PAU | ||
| 100 | _aPaulson, Lawrence C | ||
| 245 |
_aLogic and computation : interactive proof with Cambridge LCF _cLawrence C. Paulson |
||
| 260 |
_aCambridge _bCambridge University Press _cc1987 |
||
| 300 | _axiii, 302 p. ; 25 cm | ||
| 500 | _aIncludes index. Bibliography: p. [289]-295 | ||
| 650 | _aCambridge LCF (Computer system) | ||
| 650 | _aComputable functions - Data processing | ||
| 990 | _a0073597eac10000c6249b6478407acc8 | ||
| 991 | _a16021 | ||
| 999 |
_c234901 _d234901 |
||