@book{13220,
	author = {TARSKI ALFRED},
	title = {LOGIC},
	publisher = {CLARENDON},
	year = {1956},
	address = {OXFORD}
}