TY  - BOOK
AU  - Hodges, Wilfrid
AU  - Honderich, Ted
TI  - Logic
SN  - 140219854
CY  - England
KW  - Beliefs
KW  - Logic
KW  - Predicate logic
KW  - Tableau technique
ER  -