@book{225238,
	author = {Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz},
	title = {Logic, Language, Information, and Computation},
	publisher = {Springer US},
	year = {2013},
	address = {New York}
}