Constructive Compact Operators on a Hilbert Space

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},
}