TY  - GEN
T1  - Mathematical logic
DA  - 2007.
CY  - London ;
CY  - New York :
AU  - Chiswell, Ian,
AU  - Hodges, Wilfrid.
VL  - 3
CN  - Proquest Ebook Central Academic Complete
CN  - QA9.2
PB  - Oxford University Press,
PP  - London ;
PP  - New York :
PY  - 2007.
N1  - Includes index.
ID  - 391748
KW  - Logic, Symbolic and mathematical.
TI  - Mathematical logic
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10194257
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10194257
ER  -