| 000 | 00459nab a2200145Ia 4500 | ||
|---|---|---|---|
| 003 | ES-SlBCS | ||
| 005 | 20210601124148.0 | ||
| 008 | 140529s1998 xxu||||| |||| 00| 0 eng d | ||
| 041 | _aeng | ||
| 100 | 1 |
_aFernández Díez, Gustavo _967981 |
|
| 245 | 0 | 4 |
_aThe Strong Completeness of tableau method _c Gustavo Fernández Díez |
| 650 | 0 | 4 |
_aCompletud Fuerte-Prueba de Henkin _9136603 |
| 773 | 0 |
_tContextos _gnº. 31-32, 1998, págs. 297-306 _wRev137 |
|
| 942 | _cAR | ||
| 999 |
_c510298 _d510298 |
||