Apresentação dos sistemas de dedução natural, os seus axiomas e regras, como estes funcionam e relação com os sistemas de Hilbert (que são lecionados na cadeira de Lógica Matemática).

Orientador: João Rasga