Axiomatization of the logics determined by finite relational systems of natural numbers with identity

Bulletin of the Section of Logic, Tom 27, Numer 4 (1998) s. 152-155
Kazimiera Dyrda