Computational Aspects of Bishop’s Constructive Mathematics
From MaRDI portal
Publication:6116089
DOI10.1017/9781009039888.027OpenAlexW4367837424MaRDI QIDQ6116089
Publication date: 11 August 2023
Published in: Handbook of Constructive Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/9781009039888.027
Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
This page was built for publication: Computational Aspects of Bishop’s Constructive Mathematics
