Jeon, H. (2024). The behavior of higher proof theory I: Case $Σ^1_2$.
Style de citation Chicago (17e éd.)Jeon, Hanul. The Behavior of Higher Proof Theory I: Case $Σ^1_2$. 2024.
Style de citation MLA (9e éd.)Jeon, Hanul. The Behavior of Higher Proof Theory I: Case $Σ^1_2$. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.