Katarzyna Pałasińska
Implikacja w proto-algebraicznych systemach dedukcyjnych
typ: niepublikowana praca