TY - BOOK ID - 132113029 TI - Recursion theory, Gödel's theorems, set theory, model theory AU - Cori, René AU - Lascar, Daniel PY - 2001 SN - 0198500505 PB - Oxford Oxford University Press DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:132113029 AB - ER -