TY  - BOOK
AU  - Cori,Rene
AU  - Lascar,Daniel
TI  - Mathematical logic: a course with exercise part l: propositional calculus, boolean algebras, predicate calculus
SN  - 9780198500483
U1  - 511.3 C813M 
PY  - 2008///
CY  - Oxford
PB  - Oxford University
KW  - Logic
KW  - Symbolic and mathematical
ER  -