@book{2481,
	author = {Logic Colloquim, Hannover},
	title = {Contributions to mathematical logic},
	publisher = {North-Holland Pub.},
	year = {1968.},
	series = {Studies in logic and the foundations of mathematics.},
	address = {Amsterdam}
}