| 000 | 00407nab a2200145Ia 4500 | ||
|---|---|---|---|
| 003 | ES-SlBCS | ||
| 005 | 20210601124855.0 | ||
| 008 | 140529s2008 xxu||||| |||| 00| 0 eng d | ||
| 041 | _aeng | ||
| 100 | 1 |
_aPorto, André _9150742 |
|
| 245 | 0 | 0 |
_aFormalization and Infinity _c André Porto |
| 650 | 0 | 4 |
_aFormalización _9150743 |
| 773 | 0 |
_tManuscrito _gvol. 31, nº. 1, 2008, págs. 25-44 _wRev1541 |
|
| 942 | _cAR | ||
| 999 |
_c520921 _d520921 |
||