| 000 | 01213nam 2200313 4500 | ||
|---|---|---|---|
| 001 | 605924 | ||
| 010 |
_a978-972-8564-42-1 _bbrochado |
||
| 021 |
_aPT _b248692/06 |
||
| 090 | _a605924 | ||
| 100 | _a20210303d2006 m||y0pory50030103ba | ||
| 101 | 0 | _aeng | |
| 102 | _aPT | ||
| 105 | _ay z 100yy | ||
| 106 | _ar | ||
| 200 | 1 |
_aProof interpretations _gFernando Ferreira. _cOrdinals, computations, and models of set theory _gPeter Koepke _etwo tutorials _fMeeting "Days in Logic '06" _ged. Reinhard Kahle, Isabel Oitavem |
|
| 210 |
_aCoimbra _cDepartamento de Matemática da Universidade de Coimbra _d2006 |
||
| 215 |
_aV, 78, [3] p. _d24 cm |
||
| 225 | 2 |
_aTextos de matemática _v38 |
|
| 606 | _aMatemática | ||
| 606 | _aConferências. Congressos. Colóquios | ||
| 675 | _a510.6(042) | ||
| 701 | 1 |
_aKoepke, _bPeter |
|
| 701 | 1 |
_aFerreira _bFernando _f1958- |
|
| 702 |
_aKahle _bReinhard _f1967- |
||
| 702 | 1 |
_aRocha, _bIsabel Maria Oitavem Fonseca da |
|
| 710 | 1 | 2 |
_aMeeting "Days in Logic '06", _d2, _eCoimbra, _f2006 |
| 856 | 4 | 1 | _uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1698071&img=97084&save=true |
| 990 | _cMON | ||