TY - BOOK ID - 127673377 TI - Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 AU - Crossley, John Newsome AU - University of Leicester PY - 1967 PB - Amsterdam : North-Holland, DB - UniCat KW - Logic, Symbolic and mathematical. KW - Set theory. UR - https://www.unicat.be/uniCat?func=search&query=sysid:127673377 AB - ER -