A concise introduction to logic [9th ed.] - Hurley, Patrick J. (Australia Thomson, Wadsworth, 2006)
Keywords: 31.10 logic, set theory