2023

Prace licencjackie

• Dowód faktu, że najkrótszy jedyny aksjomat rachunku równoważnościowego składa się z przynajmniej jedenastu znaków.