000 | 00695cam a22002051 4500 | ||
---|---|---|---|
005 | 20170317102506.0 | ||
008 | 840508s1967 ne b 100 0 eng | ||
040 | _cIITK | ||
041 | _aeng | ||
082 | 0 |
_a510 _bSu 64s |
|
245 | 1 | 0 |
_aSets, models and recursion theory _bproceedings... _cedited by John N. Crossley |
260 |
_aAmsterdam _bNorth-Holland Publishing _c1967 |
||
300 | _a340p | ||
440 | 0 | _aStudies in logic and the foundations of mathematics / edited by A. Heyting | |
500 | _asummer school in mathematical logic and tenth logic colloquium leicester | ||
650 | 0 | _aLogic, Symbolic and mathematical | |
650 | 0 | _aSet theory | |
700 | 1 | _aCrossley, John N [ed.] | |
942 | _cBK | ||
999 |
_c380311 _d380311 |