Lógica para principiantes / (Registro nro. 1141)

Detalles MARC
000 -CABECERA
fixed length control field 01447nam a22003374a 4500
003 - IDENTIFICADOR DE NUMERO DE CONTROL
AR-GuUCG AR-GuUCG
005 - FECHA Y HORA DE LA ULTIMA MODIFICACION
control field 20230306144816.0
008 - CAMPO DE LONGITUD FIJA - INFORMACION GENERAL
fixed length control field 230306b 2006 sp||||fr|||| 00| 0 spa d
020 ## - ISBN
ISBN 84-206-4570-2
040 ## - ORIGEN DE LA CATALOGACION
Agencia/entidad que catalogó originalmente la obra AR-GuUCG
Entidad que transcribió la catalogación AR-GuUCG
041 ## - CODIGO DE IDIOMA
Código de Idioma para texto Español
080 ## - NUMERO DE CLASIFICACION DECIMAL UNIVERSAL
Universal Decimal Classification number 160
Librística M 3
100 1# - ENTRADA PRINCIPAL--AUTOR PERSONAL
Enlace autoridades 2129
Nombre personal Manzano, María
245 1# - TITULO PROPIAMENTE DICHO
Título Lógica para principiantes /
Mención de responsabilidad, etc. María Manzano, Antonia Huertas.
250 ## - MENCION DE EDICION
Mención de edición 1a ed. 2a reimpr.
260 ## - AREA DE PUBLICACION, DISTRIBUCION, ETC.
Lugar de publicación Madrid :
Editor Alianza,
Fecha de publicación 2006.
300 ## - DESCRIPCION FISICA
Extensión 422 p. ;
Dimensiones 24 cm.
505 20 - NOTA DE CONTENIDO FORMATEADA
Título I. Lógica proporcional
505 2# - NOTA DE CONTENIDO FORMATEADA
Nota de contenido formateada 1. Introducción general. -- 2. El lenguaje de la lógica proporcional. -- 3. Semántica. -- 4. Tableaux semánticos. -- 5. Otros cálculos proporcionales.
505 20 - NOTA DE CONTENIDO FORMATEADA
Título II. Conjunto y diagramas
505 2# - NOTA DE CONTENIDO FORMATEADA
Nota de contenido formateada 6. Teoría básica de conjuntos. -- 7. Diagramas de Venn. -- 8. Relaciones y funciones.
505 20 - NOTA DE CONTENIDO FORMATEADA
Título III. Lógica de primer orden
505 2# - NOTA DE CONTENIDO FORMATEADA
Nota de contenido formateada 9. El lenguaje de la lógica de primer orden. -- 10. Semántica. -- 11. Tableaux para lógica de primer orden. -- 12. Otros cálculos de primer orden.
505 20 - NOTA DE CONTENIDO FORMATEADA
Título IV. Apéndices:
505 2# - NOTA DE CONTENIDO FORMATEADA
Nota de contenido formateada A. Fundamentos de la Lógica en el siglo XX. -- B. Glosario e Índice alfabético. -- C. Metateoremas semánticos. -- D. Corrección y completud. -- Bibliografía.
650 #4 - ENTRADA SECUNDARIA DE MATERIA - TERMINO TEMATICO
9 (RLIN) 441
Descriptor LOGICA
650 #4 - ENTRADA SECUNDARIA DE MATERIA - TERMINO TEMATICO
9 (RLIN) 2119
Descriptor LENGUAJE
700 1# - ENTRADA SECUNDARIA - NOMBRE PERSONAL
Enlace de autoridades 2130
Nombre personal Huertas, Antonia
Función coautora
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Tipo de Item Libros
Existencias
Retirado Perdido Dañado No se presta Locacion Permanente Locacion actual Ubicacion en estante Fecha de adquisicion Fuente de adquisición Total prestamos Signatura topografica Inventario (Codigo de barra) Visto por ultima vez Numero de ejemplar Price effective from Tipo de Item (Koha)
      Sala UCU Centro Regional Gualeguaychú UCU Centro Regional Gualeguaychú Carrera Docente 03/08/2012 Compra   160 | M 3 2982 06/03/2023 1 06/03/2023 Libros