Handbook of constructive mathematics /
edited by Douglas Bridges, Hajime Ishihara, Michael Rathjen, and Helmut Schwichtenberg.
- New York, Cambridge University Press, 2023.
- Encyclopedia of Mathematics and its Applications .
1311080913 $ 225/-
9781009039888 (ebook)
Mathematics (general), Mathematics, Categories and Sets,