P. H. Paiola e H. de A. Feitosa, “Lógica intuicionista I1 : correção e completude”, C. Q. D., vol. 17, fev. 2020.