| 000 | 00686naa a2200145Ia 4500 | ||
|---|---|---|---|
| 003 | ES-SlBCS | ||
| 005 | 20210601152345.0 | ||
| 008 | 140520s1983 xxu||||| |||| 00| 0 spa d | ||
| 041 | _aspa | ||
| 100 | 1 |
_aLópez Brugos, José Antonio _9241824 |
|
| 245 | 0 | 0 |
_aLa prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica _cJosé Antonio López Brugos |
| 650 | 4 |
_aLógica Pura _9346047 |
|
| 773 | 0 |
_tComunicaciones presentadas al IIº Congreso de Teoría y Metodología de las Ciencias : / Alberto Hidalgo Tuñón, Julián Velarde Lombraña _dOviedo : Sociedad Asturiana de Filosofía, 1983 _g, págs. 251-256 _z84-85422-54-6 _wVA72305 |
|
| 942 | _cAC | ||
| 999 |
_c773736 _d773736 |
||