Pałasińska, K.; Pigozzi, D.
Gentzen-style axiomatizations in equational logic
typ: artykuł w czasopiśmie