D'Agostino Giovanna

Latest

• Mapping Sets and Hypersets into Numbers
• Extensions of S1S and the composition method
• Modal deduction in second-order logic and set theory. II
• Modal deduction in second-order logic and set theory. I