Title: Hilbert spaces in intuitionism
Subjects: Hilbert space