Lesniewski's systems protothetic - Srzednicki, Jan T. J. 1923-2008 (Kluwer, 1997)