Functional interpretations of feasibly constructive arithmetic (1993)

by S Cook, A Urquhart
Venue:Ann. Pure Applied Logic