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