Bridges, Douglas (ed.)
Handbook of constructive mathematics
Cambridge, United Kingdom : Cambridge University Press, 2023. xix, 841 p. -- (Encyclopedia of mathematics and its applications ; vol. 185)
QA9.56 H353
Bridges, Douglas (ed.)
Handbook of constructive mathematics
Cambridge, United Kingdom : Cambridge University Press, 2023. xix, 841 p. -- (Encyclopedia of mathematics and its applications ; vol. 185)
QA9.56 H353