The logical systems of Lesniewski - Luschei, Eugene C. (North-Holland, 1962)