Miranda, B. S., & Studer, T. (2026). Proof Theory for Bimodal Provability Logics.
Cita Chicago Style (17a ed.)Miranda, Borja Sierra, y Thomas Studer. Proof Theory for Bimodal Provability Logics. 2026.
Cita MLA (9a ed.)Miranda, Borja Sierra, y Thomas Studer. Proof Theory for Bimodal Provability Logics. 2026.
Precaución: Estas citas no son 100% exactas.