Maxa, M. (2026). Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems.
Chicago Style (17th ed.) CitationMaxa, Martin. Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems. 2026.
MLA (9th ed.) CitationMaxa, Martin. Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems. 2026.
Warning: These citations may not always be 100% accurate.