000 01276n a2200349#a 4500
001 2211
005 20240404163304.0
008 840508s1967 ne b 100 0 eng
010 _a67021973 //r84
015 _aNe***
020 _cfl 50.00
035 _aocm00178402
035 _aRecord 04786
040 _aDLC/ICU
_cCGU
_dOCL
049 _aP5AA
082 0 0 _a511.3
_bS495
090 _alf4
111 2 _aSummer School in Mathematical Logic
_d(1965 :
_cUniversity of Leicester)
_927200
245 1 0 _aSets, models and recursion theory.
_bProceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965/
_cEdited by John N. Crossley.
260 _aAmsterdam ;
_bNorth-Holland,
_c1967.
300 _a340 p.:
_c23 cm.
504 _aIncludes bibliographies.
650 0 _aLogic, Symbolic and mathematical.
_99813
650 0 4 _aSet theory.
_943640
697 _aLógica e Fundamentos 04-
_x"Studies in Logic"
_923801
700 1 _aCrossley, John N.
_ecomp.
_944083
710 2 _aUniversity of Leicester.
_946744
711 2 _aLogic Colloquium
_n(10th :
_d1965 :
_cUniversity of Leicester)
_927201
942 _2impa
_cBK
999 _c3387
_d3387
490 0 _aStudies in logic and the foundations of mathematics
_944413