Une extension de l’interprétation fonctionnelle de Gödel à l’analyse (1971)

by J Y Girard
Venue:Proc. 2nd Scand. Log. Symp. (North-Holland