TY  - BOOK
AU  - Howson, C.
TI  - Logic with trees: an introduction to symbolic logic
SN  - 0-415-13342-4
PB  - Routledge. London, U.K.
ER  -