TY - BOOK AU - Cori TI - Mathematical Logic: A Course with Exercises: Part 2: Recursion Theory, Godels Theorems, Set Theory, Model Theory SN - 9781383019858 PY - 2023/// PB - Oxford University PressOxford University Press UR - https://academic.oup.com/book/54950 ER -