CERIOLI, Márcia R.; KRAUSS, Vitor; VIANA, Petrucio. An Arithmetical-like Theory of Hereditarily Finite Sets. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 2. , 2021, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 17-24. ISSN 2763-8731. DOI: https://doi.org/10.5753/wbl.2021.15774.