@book{8829,
	author = {Summer School in Logic, Leeds, 1967},
	title = {Logic; proceedings},
	publisher = {Springer-Verlag},
	year = {1968},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}