No. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations.

Published: 2003-01-12

Articles