Biblioteca Julio Castiñeiras. Sistema de Información Integrado - Facultad de Ingeniería UNLP Facultad de Ingeniería | 115 esq.47 | Horario: Lunes a Viernes 8 a 19 hs. E-mail: bibcentral@ing.unlp.edu.ar
Introducción.- Nuevos preliminares. - El lenguaje formalizado. - Interpretaciones y validez universal. - Traducción del lenguaje natural al lenguaje formal. -Enunciados tautológicos. - Reglas de inferencia para lenguaje formal. - Algunos metateoremas. - Identidad y términos. - Axiomas. Teorías formalizadas. Breve esbozo de la historia de la lógica.
Tapa y contenido (Amazon.com)
Items (1)
Código de barras
Prestado hasta
Última fecha de circulación
Biblioteca
38062
Consulte en la Biblioteca
Consulte en la Biblioteca
El software empleado por esta biblioteca esta basado en el
Koha
Software OSS para gestion de Bibliotecas, y cumple estándares internacionales de informacion web