Información del autor
Autor Andrés Páez |
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
Título : Introducción a la lógica moderna Tipo de documento: texto impreso Autores: Andrés Páez, Autor Mención de edición: Segunda edición Editorial: Bogotá : Uniandes Fecha de publicación: 2010 Número de páginas: xiv, 526 páginas Il.: tablas Dimensiones: 24 cm ISBN/ISSN/DL: 978-958-695-542-3 Nota general: Incluye apéndice y referencias bibliográficas Idioma : Español (spa) Clasificación: [Agneaux] LIBROS - LECTURA Clasificación: 160 Logique Nota de contenido: Conceptos básicos de la lógica -- Introducción a la lógica proposicionaL -- Semántica del lenguaje LP -- Arboles de verdad de LP -- Deducción natural en LP -- Introducción a la lógica de predicados -- Semántica del lenguaje LC -- Árboles de verdad de LC -- Deducción natural en LC -- Introducción a la lógica modal -- Arboles de verdad modales -- Deducción natural modal. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=85362 Introducción a la lógica moderna [texto impreso] / Andrés Páez, Autor . - Segunda edición . - Bogotá : Uniandes, 2010 . - xiv, 526 páginas : tablas ; 24 cm.
ISBN : 978-958-695-542-3
Incluye apéndice y referencias bibliográficas
Idioma : Español (spa)
Clasificación: [Agneaux] LIBROS - LECTURA Clasificación: 160 Logique Nota de contenido: Conceptos básicos de la lógica -- Introducción a la lógica proposicionaL -- Semántica del lenguaje LP -- Arboles de verdad de LP -- Deducción natural en LP -- Introducción a la lógica de predicados -- Semántica del lenguaje LC -- Árboles de verdad de LC -- Deducción natural en LC -- Introducción a la lógica modal -- Arboles de verdad modales -- Deducción natural modal. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=85362
Introducción a la lógica moderna
Páez, Andrés - Bogotá : Uniandes - 2010
Incluye apéndice y referencias bibliográficas
Conceptos básicos de la lógica -- Introducción a la lógica proposicionaL -- Semántica del lenguaje LP -- Arboles de verdad de LP -- Deducción natural en LP -- Introducción a la lógica de predicados -- Semántica del lenguaje LC -- Árboles de verdad de LC -- Deducción natural en LC -- Introducción a la lógica modal -- Arboles de verdad modales -- Deducción natural modal.
Reserva
Reservar este documento
Ejemplares (4)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 16-1580-01 160 P15 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible 34-0379-01 160 P15 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible 34-0951-02 160 P15 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible 34-1216-03 160 P15 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible
