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.

Abstract

Abstract is missing.