@book{4811,
	author = {Tarski, Alfred. and Mostowski, Andrzej.},
	title = {Undecidable theories /},
	publisher = {Dover,},
	year = {2010.},
	series = {Dover books on mathematics},
	address = {Mineola, N.Y. :},
	edition = {Dover ed.},
	note = {Originally published: Amsterdam : North-Holland Pub., 1953.}
}