Handbook of Constructive Mathematics
From MaRDI portal
Publication:5057748
DOI10.1017/9781009039888OpenAlexW4367837500MaRDI QIDQ5057748
Author name not available (Why is that?)
Publication date: 19 December 2022
Full work available at URL: https://doi.org/10.1017/9781009039888
Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (1)
This page was built for publication: Handbook of Constructive Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5057748)