The following pages link to The bounded functional interpretation of the double negation shift (Q3570171):
Displaying 2 items.