Paiola, P. H. e Feitosa, H. de A. (2020) “Lógica intuicionista I1 : correção e completude”, C.Q.D. - Revista Eletrônica Paulista de Matemática. Bauru, 17. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239 (Acessado: 13 novembro 2024).