TY  - GEN
AU  - Mendelson,Elliott
TI  - Introduction to Mathematical Logic
SN  - 0534066240 :
U1  - 511.3,MEN 
PY  - 1987///
CY  - Monterey, Calif.
PB  - Wadsworth & Brooks/Cole Advanced Books & Software
KW  - Logic, Symbolic and mathematical
N1  - Introduction (Page-1), The Propositional Calculus (Page-10), Quantification Theory (Page-41), Formal Number Theory (Page-116), Axiomatic Set Theory (Page-169), Effective Computability (Page-231)
ER  -