@book{95335,
	author = {Tarski, Alfred and Mostowski, Andrzej.},
	title = {Undecidable theories.},
	publisher = {North-Holland Pub. Co.},
	year = {1968.},
	series = {Studies in logic and the foundations of mathematics.},
	address = {Amsterdam},
	edition = {[2d printing]}
}