@book{35717,
	author = {Schöning, Uwe. and SpringerLink (Online service)},
	title = {Logic for Computer Scientists},
	publisher = {Birkhäuser Boston,},
	year = {2008.},
	series = {Progress in Computer Science and Applied Logic (PCS) ;},
	address = {Boston, MA :},
	url = {http://dx.doi.org/10.1007/978-0-8176-4763-6}
}