TY  - BOOK
AU  - Cori,Rene
AU  - Pelletier,Daniel
TI  - MATHEMATICAL LOGIC
SN  - 0198500483
U1  - 511.3 
PY  - 1993///
PB  - Oxford Univ. Pr., New York
KW  - Logic, Symbolic And Mathematical
N1  - Part - 1 Propositional Calculus , Boolean Alzebras, Predicate Calculus Part - 2 Recursion Theory, Godel'S Theorems, Set Theory, Model Theory
ER  -