TY  - BOOK
AU  - Barreto, Maria Nilde Fernandes
AU  - Maria Nilde Fernandes Barreto
TI  - Análise estruturada e formal das provas
PY  - 2009///
CY  - Portugal
PB  - M N F B
KW  - Lógica proposicional clássica-Lógica de primeira ordem
KW  - Correção dos cálculos-Completude dos cálculos
KW  - Sistema dedutivo-Cálculo de Hilbert
KW  - Sistema de dedução natural-Teoria da prova
N1  - 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
ER  -