@book{36070,
	author = {Schwartz, Jacob T. and Cantone, Domenico. and SpringerLink (Online service)},
	title = {Computational Logic and Set Theory},
	publisher = {Springer London :},
	year = {2011.},
	address = {London :},
	url = {http://dx.doi.org/10.1007/978-0-85729-808-9}
}