TY  - BOOK
AU  - Gallinari Biraghi,Alessandra
TI  - Apuntes y problemas de lógica matemática
SN  - 9788498494754
U1  - 510 
PY  - 2009///
CY  - España
PB  - Dykinson
KW  - MATEMATICAS PURAS
KW  - CALCULO PROPOSICIONAL Y PREDICADOS
N1  - Factura Educativa; Introducción -- Algunas nociones de teoría de conjuntos, relaciones y funciones -- Lógica de proposiciones -- Sintaxis de la lógica proposicional -- Semántica de la lógica proposicional.  Teoría interpretativa -- Teoría de la demostración y sistema de educación natural de Gentzen -- Problemas de repaso sobre lógica proposicional resueltos -- Lógica de predicados de primer orden -- Sintaxis de la lógica de primer orden -- Semántica de la lógica de primer orden. Teoría interpretativa -- Teoría de la demostración y sistema de deducción natural de Gentzen -- Problemas de repaso resueltos -- El sistema de Kleene; Administración de Empresas, Contabilidad y Auditoría, Arquitectura, Ingeniería Civil, Sistemas de la Información, Educación Básica
ER  -