English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/13861
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

reseña de: Paul Gochet y Pascal Gribomont, Logique, Vol 1: Méthodes pour l'informatique fondamentale

AutorPeña, Lorenzo
Palabras claveLógica clásica
Informática
Filosofía de la lógica
Etchemendy
Metateoría
Reglas de inferencia
Verdad lógica
Classical logic
Informatics
Philosophy of logic
Rules of inference
Metatheory
Logical truth
Fecha de publicación1993
ResumenEs un manual de lógica clásica que, si bien está concebido para su uso en el estudio de la disciplina por alumnos de informática. No entra en temas de filosofía de la lógica, pero se adhiere a la concepción de la lógica de Etchemendy, como metateoría de la inferencia y no como una teoría sobre un género de verdad.
DescripciónReseña inédita escrita en 1993
URIhttp://hdl.handle.net/10261/13861
Aparece en las colecciones: (CCHS-IFS) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
gribomont.pdf12,36 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.