Cerioli, M., 		Krauss, V., & 		Viana, P.
2021 jul 18.  An Arithmetical-like Theory of Hereditarily Finite Sets. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :