@book{25217,
	author = {Kowalski, Robert},
	title = {Computational logic and human thinking : },
	publisher = {Cambridge University Press, },
	year = {2011.},
	address = {Cambridge ; }
}