Lecture Notes in Logic 27 - Wolfram Pohlers; Peter Koepke; Zoe Chatzidakis (Taylor and Francis, 2006)