Introduction to mathematical logic (Record no. 55557)

MARC details
000 -CABECERA
campo de control de longitud fija 01023nam a2200241 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170412.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2010 xxu r 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9781584888765
024 8# - Otro identificador estandar
Número estándar o código DIF-M6319
-- 6448
-- DIF005772
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Mendelson, Elliott
245 10 - MENCIÓN DE TÍTULO
Título Introduction to mathematical logic
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 5th ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Boca Raton :
Nombre del editor, distribuidor, etc. CRC,
Fecha de publicación, distribución, etc. c2010
300 ## - DESCRIPCIÓN FÍSICA
Extensión xxiv, 469 p. ;
Dimensiones 24 cm.
490 0# - MENCIÓN DE SERIE
Mención de serie Discrete mathematics and its applications
500 ## - NOTA GENERAL
Nota general Incluye índice y bibliografía.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Preface -- Introduction -- 1. The propositional calculus -- 2. First-order logic and model theory -- 3. Formal number theory -- 4. Axiomatic set theory -- 5. Computability -- Appendix A. Second-order logic -- Appendix B. First steps in modal propositional logic -- Answers to selected exercises -- Bibliography -- Notation -- Index
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 MATEMÁTICA
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada TEORÍA DE LA COMPUTABILIDAD
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-04224   F.4.1 MEN DIF-04224 11/03/2025 11/03/2025 Libro