@book{8760,
	author = {Hermes, Hans},
	title = {Term logic with choice operator},
	publisher = {Springer-Verlag},
	year = {1970},
	series = {Lecture notes in Mathematics},
	address = {Berlin},
	note = {"Revised and enlarged translation of the German edition".}
}