Logic, induction and sets - Forster, Thomas 1948- (Cambridge University Press, 2003)