Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem (0)

by G Hellman
Venue:J. Phil. Logic