Robust Nonlinear Feedback Design Via Quantifier Elimination Theory