Dawid Czech: Dedukcja naturalna i rachunek lambda dla logiki Gödla-Dummett’a
Piotr Rożnowski: Teoria dowodu dla logiki Godla-Dummetta – rachunki sekwentowe i hipersekwentowe
Jagoda Sateja: Computational Content of Intuitionistic Logic
Marta Gawek: Proof search in Normal Modal Logics in Labelled Sequent Calculus. A Haskell implementation