El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
|a Contenido: I. Introducción: 1. Lógica simbólica -- II. El lenguaje de la lógica: 2. Hacia una formalización del lenguaje -- 3. Lenguaje formal -- III. Calculo de juntores (Lógica de enunciados): 4. Deducción -- 5. Reglas básicas del cálculo de juntores -- 6. Reglas derivadas del cálculo de juntores -- IV. Calculo de cuantores (Logica de predicados): 7. Reglas del cálculo de cuantores -- 8. Silogística -- 9. Leyes de distribución -- 10. Cuantificación múñtiple. Identidad y decripciones -- V. Semantica: 11. Modelos -- 12. Tautologías -- 13. Tablas semánticas -- VI. Axiomatización de la lógica: 14. Sistemas axiomáticos de lógica -- 15. Metalógica