TY  - BOOK
AU  - Heil,John
TI  - First-order logic
SN  - 0867209577 :
U1  - 160 
PY  - 1994///
CY  - Boston
PB  - Jones and Bartlett
KW  - First-order logic
ER  -