Cerioli, Márcia, 		Krauss, Vitor, E 		Viana, Petrucio.
" An Arithmetical-like Theory of Hereditarily Finite Sets" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (18 julho 2021)