| 000 | 00929nam a2200349 4500 | ||
|---|---|---|---|
| 001 | 30380 | ||
| 090 | _a30380 | ||
| 100 | _a20030331g19889999k y0pory5003 ba | ||
| 101 | 0 | _apor | |
| 102 | _aPT | ||
| 200 | 1 |
_aLógica combinatória _fHillary Putnam... [et al.] _gcoord. Fernando Gil |
|
| 210 |
_aLisboa _cIN/CM _d1988 |
||
| 215 |
_a393, [6] p. _cil |
||
| 225 | 2 |
_aEnciclopédia Einaudi _fdir. Ruggiero Romano _v13 |
|
| 300 | _aExemplar n.º 68912 - CMRG | ||
| 606 | 1 | _aMatemática | |
| 606 | 1 | _aLógica | |
| 606 | 1 | _aEquivalência | |
| 606 | 1 | _aPossibilidade | |
| 606 | 1 | _aDedução | |
| 606 | 1 | _aDemonstração | |
| 606 | 1 | _aReferência | |
| 606 | 1 | _aVerdade | |
| 606 | 1 | _aFormalização | |
| 606 | 1 | _aRede | |
| 606 | 1 | _aLabirinto | |
| 606 | 1 | _aEnciclopédia | |
| 675 | _a51(031) | ||
| 701 | 1 |
_aPutnam _bHillary |
|
| 702 | 1 |
_aRomano _bRuggiero _cdir. col. |
|
| 702 | 1 |
_aGil _bFernando _c1937- |
|