Leśniewski's logical systems

GPTKB entity