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. 17, (fev. 2020).