Lukashov, N. V. (2024). Unification in subsystem J$_2$ of provability logic GLB.
Cita Chicago Style (17a ed.)Lukashov, N. V. Unification in Subsystem J$_2$ of Provability Logic GLB. 2024.
Cita MLA (9a ed.)Lukashov, N. V. Unification in Subsystem J$_2$ of Provability Logic GLB. 2024.
Precaución: Estas citas no son 100% exactas.