Return to Article Details A Complexity Analysis of Functional Interpretations Download Download PDF