000 | 00634 a2200217 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20220324104624.0 | ||
008 | 161116b xxu||||| |||| 00| 0 eng d | ||
020 | _a0444879994 | ||
040 | _cIITK | ||
041 | _aeng | ||
082 |
_a511.3 _bL829 |
||
245 | 1 |
_aLogic Colloquium '84 _bproceedings... _cedited by J.B. Paris and A.J. Wilkie |
|
260 |
_aAmsterdam _bNorth-Holland _c1986 |
||
300 | _ax,377p | ||
440 | _aStudies in logic and the foundations of mathematics ; vol.120 | ||
650 | _aLogic, Symbolic And Mathematical -- Cong | ||
700 | _aParis, J.B [ed.] | ||
700 | _aWilkie, A.J [ed.] | ||
942 | _cBK | ||
999 |
_c470067 _d470067 |