Catálogo en línea Biblioteca Central SIGB-UNAP

Lógica simbólica para informáticos / Pascual Julian Iranzo / México, D.F. : Alfaomega Grupo Editor (2005)

Título :	Lógica simbólica para informáticos
Tipo de documento:	texto impreso
Autores:	Pascual Julian Iranzo, Autor
Mención de edición:	Primera edición
Editorial:	México, D.F. : Alfaomega Grupo Editor
Fecha de publicación:	2005
Colección:	Alfaomega Ra-Ma
Número de páginas:	xxii, 299 páginas
Il.:	diagrama, tablas
Dimensiones:	23 cm
ISBN/ISSN/DL:	978-970-15-1072-8
Nota general:	Incluye referencias bibliográficas
Idioma :	Español (spa)
Clasificación:	004.0151 Principios matemáticos
Nota de contenido:	Introducción a la lógica -- Semántica -- Cálculo axiomático y propiedades formales -- Calculo de deducción natural -- Semántica -- Cálculo axiomático y propiedades formales -- Cálculo de deducción natural -- Extensiones de la lógica de predicados -- Otras lógicas.
Link:	https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=24171

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
20728-62231-01	004.0151 J87 V.1072	Libros	Biblioteca Central	Area Ingenierías ( 1er. Piso )	Disponible
20728-62232-02	004.0151 J87 V.1072	Libros	Biblioteca Central	Area Ingenierías ( 1er. Piso )	Disponible

Lógica simbólica para informáticos