Report copyright - Functional interpretations of feasibly constructive ... · Cook, S. and A. Urquhart, Functional interpretations of feasibly constructive arithmetic, Annals of Pure and Applied Logic
Please pass captcha verification before submit form