Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse d’Etat (1972)

by J-Y Girard