Logic, induction and sets - Forster Thomas (Cambridge CUP, 2003)
Keywords: Axiomatic set theory