TY - BOOK AU - Virieux-Reymond, Antoinette TI - La Lógica formal AV - BC 72 V5718.1976 PY - 1976/// CY - Buenos Aires PB - Ateneo KW - Lógica N1 - Traducción de: La Logique formelle ER -