| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a015152 | ||
| 020 | _a354051659X | ||
| 082 |
_a511.0285 _bN89 |
||
| 245 |
_aCSI '88. _b |
||
| 260 |
_aBerlin _bSpringer-Verlag _c1989 |
||
| 300 | _a399p. | ||
| 490 |
_aLecture notes in computer science _vno.385 |
||
| 690 | _aMathematical logic - Electronic data processing; Computer science - Mathematical logic; Set theory; Mathematical theorems; Proof theory; Recursion theory; Model thoery | ||
| 700 | _aWorkshop on computer science logic. ( Duisburg, FRG : 1988 ) | ||
| 964 |
_a _b0 _c _d _e2ND. _f _g |
||
| 999 |
_c14874 _d14874 |
||