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