TY - GEN AU - Cori,Rene AU - Lascar, Daniel TI - Mathematical logic: a course with exercises SN - 0198500483 (pt.1, pbk) U1 - 511.3 PY - 2000/// CY - Oxford, New York PB - Oxford University Press KW - Symbolic and mathematical Logic N1 - Cuprinde Bibliografie si Index ER -