| 000 | 01129nam-a2200265---4500 | ||
|---|---|---|---|
| 001 | 282942 | ||
| 005 | 20230829112031.0 | ||
| 090 | _a282942 | ||
| 100 | _a20090929d2009 k y0pory5003 ba | ||
| 101 | 0 | _apor | |
| 102 | _aPT | ||
| 200 | 1 |
_aO teorema da normalização para lógica de primeira ordem _fJorge Manuel Martins Correia _gorient. José Carlos Espírito Santo, Luís Filipe Ribeiro Pinto |
|
| 210 |
_a[Braga _cs.n.] _d2009 |
||
| 215 |
_aXI, 76 p. _d30 cm |
||
| 300 | _aExiste versão em CD-ROM | ||
| 328 | 0 |
_bTese mestrado _cMatemática (área de especialização em Ensino) _eEscola de Ciências da Universidade do Minho _d2009 |
|
| 675 |
_a510 _vint _zeng |
||
| 700 | 1 |
_aCorreia, _bJorge Manuel Martins |
|
| 702 | 1 |
_9212278 _aEspírito Santo, _bJosé _4727 |
|
| 702 | 1 |
_9208380 _aPinto, _bLuís F. _4727 |
|
| 712 | 0 | 2 |
_aUniversidade do Minho. _bEscola de Ciências _4295 |
| 801 | 0 |
_aPT _bUMSD _c20090929 _gRPC |
|
| 856 | 4 |
_uhttp://hdl.handle.net/1822/19204 _zVersão electrónica. Acesso livre _4N |
|
| 942 |
_cLIVRO _n0 |
||