Can Constructive Mathematics be Applied
β
Douglas S. Bridges
π
Article
π
1999
π
Springer Netherlands
π
English
β 87 KB