publicações Intuitionist Logic and Construction of Proofs for Necessary Propositions and Contingent Propositions Documento