No. 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation

Published: 2003-06-02