Towards a constructive foundation for quantum mechanics (1981)

by D Bridges
Venue:in Constructive Mathematics