Wernhard, C. (2026). Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System.
Style de citation Chicago (17e éd.)Wernhard, Christoph. Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System. 2026.
Style de citation MLA (9e éd.)Wernhard, Christoph. Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.