Barreto, Maria Nilde Fernandes <br/><br/>
Análise estruturada e formal das provas 

 - Portugal :  M N F B,  2009 
 - 104 p. 
<br/><br/> Tese (mestrado) em matemática, sob orientação científica do Doutor João Carlos David Vieira, Doutor Manuel Antonio Gonçalves Martins do Departamento de Matemática da Universidade de Aveiro  Inv. 2016 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica proposicional clássica-Lógica de primeira ordem<br/>Correção dos cálculos-Completude dos cálculos<br/>Sistema dedutivo-Cálculo de Hilbert<br/>Sistema de dedução natural-Teoria da prova
<br/><br/><label>Universal Decimal Class. No.: </label>517 BAR an