Shamkanov, D. (2025). (Non-)well-founded derivations in the provability logic $\mathsf{GLP}$.
Cita Chicago Style (17a ed.)Shamkanov, Daniyar. (Non-)well-founded Derivations in the Provability Logic $\mathsf{GLP}$. 2025.
Cita MLA (9a ed.)Shamkanov, Daniyar. (Non-)well-founded Derivations in the Provability Logic $\mathsf{GLP}$. 2025.
Precaución: Estas citas no son 100% exactas.