TY  - BOOK
AU  - Cori,Rene
AU  - Lascar,Daniel
TI  - MATHEMATICAL LOGIC
SN  - 0198500505
U1  - 511.3 
PY  - 2001///
PB  - Oxford Univ. Pr., New York
KW  - Logic, Symbolic And Mathematical
N1  - Part -2 Recursion Theroy, Godel'S Theorems,Set Theory, Model Theory Part - 1propositional Calculus,Boolean Algebras, Predicate Calculus, Completeness Theorems
ER  -