| 000 | 00593pam a2200193a 44500 | ||
|---|---|---|---|
| 008 | 160408b1997 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0521580579 | ||
| 082 |
_a004.015113 _bSE52P |
||
| 100 | _aAndrew M. Pitts,Peter No Dybjer | ||
| 245 | 1 | _aSEMANTICS AND LOGICS OF COMPUTATION | |
| 260 |
_a _bCambridge Univ. Press, Cambridge _c1997 |
||
| 300 | _axii,361 | ||
| 650 | _aElectronic Data Processing | ||
| 650 | _aProgramming Languages (Electronic Computer Semantics) | ||
| 650 | _aLogic, Symbolic And Mathematical | ||
| 700 | _aDybjer,Peter | ||
| 964 | _gCIRC | ||
| 997 | _aA126112 C | ||
| 999 |
_c330623 _d330623 |
||