| 000 | 01015nam a2200253Ia 4500 | ||
|---|---|---|---|
| 003 | BNCV | ||
| 005 | 20231122114922.0 | ||
| 008 | 230626b cv ||||| |||| 00| 0 por d | ||
| 041 |
_apor _hpor |
||
| 080 | _a517 BAR an | ||
| 100 |
_aBarreto, Maria Nilde Fernandes _961454 |
||
| 245 | _aAnálise estruturada e formal das provas | ||
| 260 |
_aPortugal : _bM N F B, _c2009 |
||
| 300 | _a104 p. | ||
| 500 | _aTese (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 | ||
| 500 | _aInv. 2016 | ||
| 650 |
_aLógica proposicional clássica-Lógica de primeira ordem _910570 |
||
| 650 |
_aCorreção dos cálculos-Completude dos cálculos _910571 |
||
| 650 |
_aSistema dedutivo-Cálculo de Hilbert _910572 |
||
| 650 |
_aSistema de dedução natural-Teoria da prova _910573 |
||
| 700 |
_aMaria Nilde Fernandes Barreto _961459 |
||
| 942 |
_cLV _2udc |
||
| 949 |
_a1 _bAna Bela SEMEDO |
||
| 999 |
_c19822 _d19822 |
||