@book{700,
	author = {Tarski, Alfred},
	title = {Introduction to Logic},
	publisher = {Oxford},
	year = {1941},
	address = {America}
}