Voir la notice de l'article provenant de la source Numdam
@article{CM_1973__26_3_181_0, author = {Shukla, Sahab Lal}, title = {On a new method in intuitionist linear analysis}, journal = {Compositio Mathematica}, pages = {181--202}, publisher = {Noordhoff International Publishing}, volume = {26}, number = {3}, year = {1973}, mrnumber = {332451}, zbl = {0275.02037}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CM_1973__26_3_181_0/} }
Shukla, Sahab Lal. On a new method in intuitionist linear analysis. Compositio Mathematica, Tome 26 (1973) no. 3, pp. 181-202. http://geodesic.mathdoc.fr/item/CM_1973__26_3_181_0/