5 works on record
Resolution proof systems
1996
Leśniewski's systems protothetic
Introduction to model theory for Leśniewski's ontology
1981
Computing in Canada
Inventing the PC