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