TY  - BOOK
AU  - Chiswell, I
AU  - Hodges, W
TI  - Mathematical logic
SN  - 9780199548743
U1  - 510.6 
PY  - 2008///
CY  - Oxford
PB  - OUP
KW  - FIRST-ORDER THEORY
KW  - LOGICAL EQUIVALENCE
KW  - MATHEMATICS
KW  - TRUTH TABLE
N1  - Ref. sec
ER  -