TY  - BOOK
AU  - Hughes, G E
AU  - Londey, D G 
TI  - Elements of formal logic
PY  - 1965///
CY  - Bombay: 
PB  - B I Publications
KW  - Logic
KW  - Decision procedure
ER  -