| 000 | 00465nab a2200145Ia 4500 | ||
|---|---|---|---|
| 003 | ES-SlBCS | ||
| 005 | 20210601150432.0 | ||
| 008 | 140529s2001 xxu||||| |||| 00| 0 spa d | ||
| 041 | _aspa | ||
| 100 | 1 |
_aLegris, Javier _9150740 |
|
| 245 | 0 | 0 |
_aDeducción del conocimiento en los orígenes de la teoría de la demostración _c Javier Legris |
| 650 | 0 | 4 |
_aPrograma de Hilbert _9322789 |
| 773 | 0 |
_tTheoria _gvol. 16, nº. 42, 2001, págs. 521-538 _wRev475 |
|
| 942 | _cAR | ||
| 999 |
_c740858 _d740858 |
||