TY - BOOK ID - 50308370 TI - Logic Colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969 AU - Gandy, R. O. AU - Yates, C. E. M. AU - Logic Colloquium PY - 1971 SN - 1283525615 9786613838063 008095474X PB - Amsterdam : North-Holland Pub. Co., DB - UniCat KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:50308370 AB - Provability, Computability and Reflection ER -