Zbigniew Stachniak

• Leśniewski's systems protothetic
• Resolution proof systems
• Resolution Proof Systems
• Computing in Canada
• Introduction to model theory for Leśniewski's ontology
• Inventing the PC