Interprétation fonctionelle et élimination des coupures de lâĂ ´ Zarithmétique dâĂ ´ Zordre supérieur (1972)

by J Y Girard