| 001 [] | Núm. identificador | ||
| a | Núm. identificador | .b21863647 | |
| 021 [10] | ISBN Catmarc | ||
| a | ISBN (Catmarc) | 84-79789-240-4 | |
| a | ISBN (Catmarc) | 84-7978-240-4 | |
| 035 [] | NÚMERO DE CONTROL DEL SISTEMA | ||
| a | Número de control del sistema | 1493-90360 | |
| 100 [20] | Autor | ||
| a | Autor | Arenas Alegría | |
| 245 [10] | TÍTOL | ||
| a | Títol | Lógica formal para informáticos | |
| d | Menció de responsabilitat única | Lourdes Arenas Alegría | |
| 260 [00] | PUBLICACIÓ, DISTRIBUCIÓ, ETC. (IMPRINT) | ||
| a | Lloc de publicació, distribució, etc | Madrid | |
| b | Nom de l'editor, distribuïdor, etc | Díaz de Santos | |
| c | Data de publicació, distribució, etc | 1996 | |
| 300 [00] | DESCRIPCIÓ FÍSICA | ||
| a | Extensió | XII, 329 p. | |
| 650 [00] | ENTRADA AFEGIDA DE TEMA--TEMÀTICA | ||
| a | Temàtica o nom geogràfic com a element d'entrada | Lògica matemàtica | |
| Codi de barres - Signatura topogràfica | Disponible | |
| 1 |  |