Realizamos uma revisão da bibliografia sobre a Lógica Intuicionista, em suas formas sentencial e de primeira ordem. Estudamos as estruturas algébricas utilizadas no estudo de sua semântica, e estudamos seu sistema de dedução natural. Apresentamos as estruturas de reticulados e álgebras de Heyting, e as utilizamos como ferramenta para o estudo da Lógica Sentencial Intuicionista e Lógica de Primeira Ordem Intuicionista.

We carried out a review of the bibliography on Intuitionistic Logic, in its sentential and first-order forms. We studied the algebraic structures used in the study of its semantics, and its system of natural deduction. We present the structures of lattices and Heyting algebras, and use them as a tool for the study of Intuitionistic Sentential Logic and Intuitionistic First-Order Logic.