The logical systems of Lesniewski - Luschei, Eugene C. (Studies in logic and the foundations of mathematics, 1962)