"Identity of Individuals in a Strict Functional Calculus of Second Order" - читать интересную книгу автора (Marcus Ruth Barcan)