000 | 01278n a2200313#a 4500 | ||
---|---|---|---|
001 | 22271 | ||
003 | P5A | ||
005 | 20240404163523.0 | ||
008 | 970130s1996 enka b 100 0 eng|| | ||
010 | _a97110319 //r97 | ||
020 | _a0198538626 | ||
035 | _aocm36719488 | ||
040 |
_aDLC _cDLC |
||
049 | _aP5AA | ||
082 | 0 | 0 |
_a511.3 _bL832 |
090 | _alf2cs | ||
245 | 0 | 0 |
_aLogic: _bfrom foundation to applications : European logic colloquium/ _cedited by Wilfrid Hodges ... [et al.]. |
260 |
_aOxford: _bClarendon Press, _aNew York: _bOxford University Press, _c1996. |
||
300 |
_axiii, 536 p.: _bill.; _c25 cm. |
||
500 | _a"Logic Colloquium '93 was a European meeting of the Association for Symbolic Logic. It took place at the University of Keele, Staffordshire, England from 20 to 29 July 1993"--P. [vii]. | ||
504 | _aIncludes bibliographical references. | ||
650 | 0 | 4 |
_aLogic, Symbolic and mathematical- _xCongresses. _944080 |
697 |
_aLógica e Fundamentos 02- _bCongressos e Seminários- _xLógica Matemática e Funções Recursivas _923784 |
||
700 | 1 |
_aHodges, Wilfrid. _933463 |
|
711 | 2 |
_aLogic Colloquium _d(1993: _cUniversity of Keele) _923367 |
|
942 |
_2impa _cBK |
||
999 |
_c22483 _d22483 |
||
490 | 0 |
_aOxford science publications. _944343 |