Leśniewski's systems of logic

GPTKB entity