TY  - BOOK
AU  - Wilfrid Hodges
AU  - Hodges,Wilfrid
TI  - LOGIC: FROM FOUNDATIONS TO APPLICATIONS
SN  - 0198538626
U1  - 511.3 
PY  - 1996///
PB  - Clarendon Press, Oxford
KW  - Logic,Symbolic And Mathematical -- Cong
N1  - Includes Bibliographical References
ER  -