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

by J-Y Girard