Logic, Induction and Sets: Bibliography