TY - BOOK AU - Badesa,Calixto AU - Jané,Ignacio AU - Jansana,Ramón TI - Elementos de lógica formal SN - 84-344-8748-9 U1 - 511.3 B134e PY - 1998/// CY - Barcelona PB - Editorial Ariel KW - Lógica matemática KW - Matemáticas KW - Lógica (Razonamiento) N1 - Reimpr. 2003; Incluye índice ER -