@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://www.numdam.org/item/CM_1973__26_3_181_0/}
}