DSpace

Digital.CSIC > Humanidades y Ciencias Sociales > Centro de Ciencias Humanas y Sociales - Instituto de Filosofía (CCHS-IFS) > (CCHS-IFS) Artículos >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/13861

Title: reseña de: Paul Gochet y Pascal Gribomont, Logique, Vol 1: Méthodes pour l'informatique fondamentale
CSIC enlaces   Google scholar  
Authors: Peña, Lorenzo
Keywords: Ló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
Issue Date: 1993
Abstract: Es 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.
Description: Reseña inédita escrita en 1993
URI: http://hdl.handle.net/10261/13861
Appears in Collections:(CCHS-IFS) Artículos

Files in This Item:

File Description SizeFormat
gribomont.pdf12,36 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.