Logic, induction and sets. - Cambridge University Press, 2003. - ( London Mathematical Society Student Texts ; 56).