Interprétation functionelle et élimination des coupures dans l’arithmétique d’ordre supérieure (1972)

by J-Y Girard