Logic with trees. Howson, C. Routledge, 1997.
bibtex   
@book{Howson1997,
author = {Howson, C.},
publisher = {Routledge},
title = {{Logic with trees}},
year = {1997}
}

Downloads: 0