TY - BOOK AU - Cori,Rene TI - Mathematical logic: a course with exercises SN - 198500483 PY - 2000/// CY - US PB - Oxford Univ. Press ER -