The Countable Reals

MaRDI QIDQ6528745arXivFDO

Authors Andrej Bauer, James Hanson

Published in arXiv

Mathematics Subject Classification ID

General logic (03B99) Intuitionistic mathematics (03F55)

This page was built for publication: The Countable Reals

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