Encyclopedia of Mathematics and its Applications
https://www.cambridge.org/core/series/encyclopedia-of-mathematics-and-its-applications/14161A9F36D6D0C9A650A4F86F74162D
WEBThis handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject's myriad aspects. Major themes include: constructive algebra and geometry, constructive analysis, constructive topology, constructive logic and foundations of mathematics, and computational aspects ...
DA: 94 PA: 37 MOZ Rank: 24