Feitosa, Hércules de Araújo, Romulo Albano de Freitas, e Marcelo Reicher Soares. “Dois Sistema Dedutivos Para a Lógica PM4N”. Intermaths 3, no. 2 (dezembro 31, 2022): 38-55. Acessado julho 3, 2024. https://periodicos2.uesb.br/index.php/intermaths/article/view/11378.