TY - BOOK AU - Cori, Rene AU - Lascar, Daniel AU - Pelletier, Donald H., Tr. TI - Mathematical logic. Part II: recursion theory, godels theorems, set theory, model theory SN - 0198500505 U1 - 511.3 PY - 2001/// CY - New York PB - Oxford University Press ER -