000 | 006370a00a22002410004500 | ||
---|---|---|---|
001 | 157029 | ||
090 | _a157029 | ||
100 | _a19940711d1991 m y0pory50 ba | ||
101 | 0 | _apor | |
102 | _aPT | ||
200 | 1 |
_aLógica e Aritmética _euma introdução informal aos métodos formais _fAugusto J. Franco de Oliveira |
|
205 | _*1ª ed | ||
210 |
_aLisboa _cGradiva _d1991 |
||
215 | _a204 p | ||
225 | 2 |
_aTrajectos Ciência _v1) |
|
675 |
_942222 _a510.6 |
||
700 | 1 |
_aOliveira _bAugusto J. Franco de |
|
931 | _*19940711 | ||
932 | _*d | ||
933 | _*1991 | ||
934 | _* | ||
966 |
_a10796 _lBPARAH _s510.6 OLI. |
||
990 | _cMON |