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.
Este libro presenta un nuevo enfoque en la enseñanza de la lógica de primer orden. Apoyándose en el Tarski's World 4.0, el texto equilibra inteligentemente la concepción semántica de la lógica con métodos de demostración.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Spanish |
| Published: |
Córdoba, Argentina :
Editorial Brujas,
c1992
|
| Edition: | 1a ed. |
| Subjects: |