[1]
Feitosa, H. de A. et al. 2022. Dois Sistema dedutivos para a Lógica PM4N.
INTERMATHS
. 3, 2 (dez. 2022), 38–55. DOI:https://doi.org/10.22481/intermaths.v3i2.11378.