Logic, induction and sets - Forster, Thomas (London mathematical society student texts ; ;, 2003)