TY - GEN TY - GEN T1 - Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September, 1965 T2 - Studies in logic and the foundations of mathematics A2 - Crossley, John N. LA - eng PP - Amsterdam PB - North-Holland YR - 1967 UL - https://kansalliskirjasto.finna.fi/Record/fikka.217458 OP - 331 KW - Logic, Symbolic and mathematical : Addresses, essays, lectures. KW - Set theory : Addresses, essays, lectures. ER -