Cerioli, Márcia, 		Freitas, Renata, E 		Viana, Petrucio.
" Another Calculational Proof of Cantor’s Theorem" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (31 julho 2022)