Interpr'etation Fonctionnel le et ' Elimination des Coupures de l'Arithm'etique d'Ordre Sup'erieur, Th`ese de doctorat d''etat. Universit'e Paris VII (1972)

by J-Y Girard