View of Extracting Herbrand Disjunctions by Functional Interpretation

Return to Article Details Extracting Herbrand Disjunctions by Functional Interpretation Download Download PDF