Interpr#tation fonctionelle et #limination des coupures de l'arithm#- tique d'ordre sup#rieur (1972)

by Jean-Yves Girard