Hajime Ishihara. Constructive Compact Operators on a Hilbert Space. Annals of Pure and Applied Logic, 52(1-2):31-37, 1991.
@article{Ishihara91, title = {Constructive Compact Operators on a Hilbert Space}, author = {Hajime Ishihara}, year = {1991}, researchr = {https://researchr.org/publication/Ishihara91}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {52}, number = {1-2}, pages = {31-37}, }