Quantifier Elimination For A Class Of Intuitionistic Theories. by Dan McGinn