TY  - BOOK
AU  - Mendelson, Elliott
TI  - Introduction to Mathematical Logic
SN  - 9781482237726
U1  - 511.3 
PY  - 2015///
CY  - Boca Raton
PB  - CRC Press
KW  - Logic - Symbolic and mathematical
N1  - Introduction
1.The Propositional Calculus
2.First-Order Logic and Model Theory
3.Formal Number Theory
4.Axiomatic Set Theory
5.	Computability

ER  -