Márcia Cerioli, Renata Freitas, and Petrucio Viana. 2022.
Another Calculational Proof of Cantor’s Theorem. In Anais do III Workshop Brasileiro de Lógica, julho 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: https://doi.org/10.5753/wbl.2022.223244.