Why constructive mathematics?

MaRDI QIDQ2702580zbMATH OpenFDO

Authors Dirk van Dalen

Publication date 21 August 2001

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

This page was built for publication: Why constructive mathematics?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702580)