000 | 00694cam a2200217 a 4500 | ||
---|---|---|---|
005 | 20181210081152.0 | ||
008 | 840509s1982 uk b 001 0 eng | ||
020 | _a0444864652 | ||
040 |
_aDLC _cDLC _dBD-DhBPA |
||
082 |
_a511.3 _bLOG 1982 |
||
245 | 1 | 0 |
_aLogic Colloquium '80. / _cD Van Dalen; T J Smiley; D Lascar editor. |
260 |
_a Burlington : _bElsevier Science, _c1982. |
||
300 | _a x, 342 pages : illustrations ; 22 cm. | ||
440 | 4 |
_a Studies in logic and the foundations of mathematics. _9130276 |
|
500 | _aIncludes index. | ||
590 | _amizan | ||
650 |
_aLogic _9130277 |
||
700 |
_a D Van Dalen; _9130278 |
||
700 |
_aT J Smiley; D Lascar _9130279 |
||
942 |
_2ddc _cBK |
||
999 |
_c46747 _d46747 |