Interpretation Fonctionnelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure (1972)

by Jean-Yves Girard