TY  - GEN
T1  - First-order logic and automated theorem proving /
AU  - Fitting, Melvin,
ET  - Second edition.
CN  - QA76.9.A96
ID  - 1363967
KW  - Automatic theorem proving.
KW  - Logic, Symbolic and mathematical.
SN  - 9781461223603 (e-book)
TI  - First-order logic and automated theorem proving /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3077179
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3077179
ER  -