TY - BOOK AU - Garrido,Manuel TI - Lógica simbólica T2 - Serie de filosofía y ensayo SN - 8430937471 U1 - 511.3 G241L PY - 2001/// CY - Madrid PB - Tecnos. KW - Lógica matemática KW - lemb KW - Lógica simbólica KW - Fundamentos KW - Algebra booleana N1 - Reimpresiones, 2003, 2005; Incluye referencias bibliográficas e índice ER -