Katarzyna Pałasińska; Don Pigozzi
Gentzen-style axiomatization for equational logic
typ: niepublikowana praca