| 000 | 00647nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1994##################000#0#eng## | ||
| 020 | _a198538359 | ||
| 022 | _a93046644 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004 LUO | ||
| 100 | _aLuo, Zhaohui | ||
| 245 |
_aComputation and reasoning : a type theory for computer science _cZhaohui Luo |
||
| 260 |
_aOxford _bClarendon Press; Oxford University Press _cc1994 |
||
| 300 | _axi, 228 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references (p. 211-220) and index | ||
| 650 | _aComputer science | ||
| 990 | _ae16ce7f4ac10000c3d93c62952d12f1d | ||
| 991 | _a11036 | ||
| 999 |
_c135616 _d135616 |
||