| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a014014 | ||
| 020 | _a3540973753 | ||
| 082 |
_a005.131 _bN904 |
||
| 100 |
_aIntl. Conf. on Mathematical foundations...(New Orleans _b1989) |
||
| 245 |
_aMathematical foundations of programming semantics _b _ced by M Main, et al |
||
| 260 |
_aBerlin _bS-V _c1990 |
||
| 300 | _avi, 439p. | ||
| 490 |
_aLecture notes in computer science _v442 |
||
| 690 | _aLogic, symbolic and mathematical Foundations | ||
| 700 | _aMain, M., ed | ||
| 964 |
_a _b0 _c _d _e _fED. _g |
||
| 999 |
_c13764 _d13764 |
||