Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Logic in computer science (Registro nro. 38323)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 00874nam a2200253 a 4500
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 050829s2004^^^^enka^^^^^^^^^^001^0^spa^d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 052154310X
Información calificativa rústica
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9780521543101
Información calificativa rústica
-- 2020
035 ## - NÚMERO DE CONTROL DEL SISTEMA
Número de control de sistema MX001001037716
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen UNAMX
Lengua de catalogación spa
Normas de descripción rda
Centro/agencia transcriptor UNAMX
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.9L63
Número de documento/Ítem H87 2004
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Huth, Michael,
Fechas asociadas al nombre 1962-
Término indicativo de función/relación autor
245 10 - MENCIÓN DE TÍTULO
Título Logic in computer science :
Resto del título modelling and reasoning about systems /
Mención de responsabilidad, etc. Michael Huth, Mark Ryan
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 2nd ed.
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Cambridge :
Nombre del de productor, editor, distribuidor, fabricante Cambridge University Press,
Fecha de producción, publicación, distribución, fabricación o copyright 2004
300 ## - DESCRIPCIÓN FÍSICA
Extensión xiv, 427 páginas :
Otras características físicas ilustraciones
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio sin medio
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte volumen
Fuente rdacarrier
500 ## - NOTA GENERAL
Nota general Reimpresiones: (20th, 2020)
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lógica computacional
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programación lógica
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Ryan, Mark,
Fechas asociadas al nombre 1962- ,
Término indicativo de función/relación autor
Existencias
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Código de colección Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de adquisición Coste, precio normal de compra Total de préstamos Clasificación completa Código de barras Fecha visto por última vez Fecha del último préstamo Número de copia Tipo de ítem Koha Renovaciones totales
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros 17/04/2023 585.11 49 QA76.9L63 H87 2004 106702 13/04/2025 11/10/2023 1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 1 QA76.9L63 H87 2004 106701 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros 16/08/2023 585.11 40 QA76.9L63 H87 2004 106622 13/04/2025 03/12/2024 1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11   QA76.9L63 H87 2004 106623 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 1 QA76.9L63 H87 2004 106624 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11   QA76.9L63 H87 2004 106625 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros 18/09/2023 585.11 51 QA76.9L63 H87 2004 106626 13/04/2025 10/06/2024 1 Libros 4
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros 17/04/2023 585.11 55 QA76.9L63 H87 2004 106627 13/04/2025 22/03/2024 1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 2 QA76.9L63 H87 2004 106628 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 3 QA76.9L63 H87 2004 106629 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 2 QA76.9L63 H87 2004 106630 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 2 QA76.9L63 H87 2004 106631 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 1 QA76.9L63 H87 2004 106632 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11 1 QA76.9L63 H87 2004 106633 13/04/2025   1 Libros  
    Clasificación de la Biblioteca del Congreso     Coleccion General Libros Libros Libros   585.11   QA76.9L63 H87 2004 106634 13/04/2025   1 Libros  

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad