PAIOLA, P. H.; FEITOSA, H. de A. Lógica intuicionista I1 : correção e completude. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 17, 2020. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239. Acesso em: 13 nov. 2024.