Katarzyna Pałasińska
Deductive systems and finite axiomatization properties
typ: niepublikowana praca