On the Provability Logic of HA

MaRDI QIDQ7143239arXivFDO

Authors Mojtaba Mojtahedi

Publication date 2026

Published in arXiv

arXiv classification

math.LO

This page was built for publication: On the Provability Logic of HA

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