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