| 001 [##] | Núm. identificador | ||
| a | Núm. identificador | 991010845429706706 | |
| 020 [##] | INTERNATIONAL STANDARD BOOK NUMBER | ||
| a | International Standard Book Number | 9788478979387 | |
| 021 [] | ISBN Catmarc | ||
| a | ISBN (Catmarc) | 9788478979387 | |
| 035 [##] | NÚMERO DE CONTROL DEL SISTEMA | ||
| a | Número de control del sistema | (ES-BaCBU).b42635998 | |
| 035 [##] | NÚMERO DE CONTROL DEL SISTEMA | ||
| a | Número de control del sistema | (OCoLC)804359532 | |
| 100 [1#] | Autor | ||
| a | Autor | Ledesma, Luis de | |
| 245 [10] | TÍTOL | ||
| a | Títol | Lógica para la computación : | |
| b | Recordatori del títol | teorías de primer orden, resolución y elementos de programación lógica y PROLOG / | |
| 260 [##] | PUBLICACIÓ, DISTRIBUCIÓ, ETC. (IMPRINT) | ||
| a | Lloc de publicació, distribució, etc | Madrid : | |
| b | Nom de l'editor, distribuïdor, etc | Ra-ma, | |
| c | Data de publicació, distribució, etc | cop. 2009 | |
| 300 [##] | DESCRIPCIÓ FÍSICA | ||
| a | Extensió | 177 p. : | |
| b | Altres detalls físics | il. | |
| 504 [##] | BIBLIOGRAFIA, ETC. NOTES | ||
| a | Bibliografia, etc | Índex, bibliografia | |
| 650 [#7] | ENTRADA AFEGIDA DE TEMA--TEMÀTICA | ||
| a | Temàtica o nom geogràfic com a element d'entrada | Programació (Ordinadors) | |
| 650 [#7] | ENTRADA AFEGIDA DE TEMA--TEMÀTICA | ||
| a | Temàtica o nom geogràfic com a element d'entrada | Lògica informàtica | |
| 650 [#4] | ENTRADA AFEGIDA DE TEMA--TEMÀTICA | ||
| a | Temàtica o nom geogràfic com a element d'entrada | Programació (Ordinadors) | |
| 650 [09] | ENTRADA AFEGIDA DE TEMA--TEMÀTICA | ||
| a | Temàtica o nom geogràfic com a element d'entrada | Lògica informàtica | |
| Codi de barres - Signatura topogràfica | Disponible | |
| 1 |  |