Une extension de l'interpretation de Godel a l'analyse (1971)

by J Y Girard
Venue:In: Proc. 2nd Scand. Logic Symp