An Intuitionistic Version of Cantor's Theorem. - Dario Maguolo; Silvio Valentini (Math. Log. Q., 1996)

Mathematics Subject Classification and Related Schemes in the OAI Framework. - Antonella De Robbio; Dario Maguolo; Alberto Marini (Electronic Information and Communication in Mathematics, 2002)