Descriptive set theory - Moschovakis, Yiannis N. (Studies in logic and the foundations of mathematics, 1980)