@book{34044,
	author = {Gabbay, Dov M. and Zakharyaschev, Michael. and SpringerLink (Online service)},
	title = {Mathematical Problems from Applied Logic II},
	publisher = {Springer New York,},
	year = {2007.},
	series = {International Mathematical Series,},
	address = {New York, NY :},
	url = {http://dx.doi.org/10.1007/978-0-387-69245-6}
}