@book{8084,
	author = {Tarski, Alfred},
	title = {Introduction to logic and to the methodology of deductive sciences},
	publisher = {Oxford University Press, },
	year = {1956.},
	address = {New York : },
	edition = {5th ed.}
}