Second-Order Quantifier Elimination, Studies in Logic Mathematical Logic and Foundations