Just, Winfried; Weese, Martin Discovering modern set theory : vol. 1: The basics Winfried; Weese, Martin Just - Providence AMS 1996