| 000 | 00729nam 22002413 4500 | ||
|---|---|---|---|
| 001 | 199810 | ||
| 021 |
_aPT _b48572/91 |
||
| 090 | _a199810 | ||
| 100 | _a20260109d u||y0pory50 ba | ||
| 101 | _apor | ||
| 102 | _aPT | ||
| 200 |
_aLógica e aritmética : uma introdução informal aos métodos formais _fAugusto Franco de Oliveira |
||
| 205 | _a1ª | ||
| 210 |
_aLisboa _cGradiva _d1991 |
||
| 215 |
_a204, [4] p. _cbrochado _d23 cm |
||
| 225 |
_aTrajectos ciência _h1 |
||
| 606 |
_91432 _aMatemática |
||
| 675 |
_a51 _vPT _zpor |
||
| 675 |
_a510/511/OLI/LOG _vPT _zpor |
||
| 700 |
_915578 _aOliveira _bAugusto J. Franco de _f1944- |
||
| 801 |
_aPT _bBMMN _gRPC |
||
| 830 |
_cVanda e Carlos Pinto _j31-03-2026 _fCarlos Pinto |
||
| 990 | _cLIVROS | ||