Kozanecka-Dymek, A. M. Stosowalność niektórych systemów Logicznych Do Analizy Formalnej poprawności Wnioskowań dotyczących Prawa Kanonicznego. sp 2021, 121-132.