@book{18093,
	author = {Howson, Colin},
	title = {Logic with Trees},
	address = {London}
}