Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. - Beata Bugajska-Jaszczolt; Tadeusz Prucnal (Reports Math. Log., 1994)

Axiomatization of the Logic Determined by some Finite Relational Systems. - Beata Bugajska-Jaszczolt (Reports Math. Log., 1998)