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

by Jean-Yves Girard