Cerioli, Márcia, Renata de Freitas, and Petrucio Viana.
" Another Calculational Proof of Cantor’s Theorem." <em>Anais do III Workshop Brasileiro de Lógica,
Niterói, 2022</em>. SBC, 2022,  
pp.9-16.