publicações selecionadas A rejeição do princípio do terceiro excluído e suas consequências para a aritmética de Heyting
