Klonowski M. Sequent Calculi for Beginners and Professionals. LLP [Internet]. 2018 Feb. 2 [cited 2024 Apr. 18];27(1):143-7. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2018.003