On Dividing by Two in Constructive Mathematics

From MaRDI portal

MaRDI QIDQ7103864arXivFDO

Authors Andrew Swan

Publication date 2018

Published in arXiv


arXiv classification

math.LO















This page was built for publication: On Dividing by Two in Constructive Mathematics

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=On_Dividing_by_Two_in_Constructive_Mathematics&oldid=106692488"
Powered by MediaWiki