Katarzyna Pałasińska
Skończona bazowalność protoalgebraicznych systemów dedukcyjnych
typ: niepublikowana praca