TY - BOOK AU - Wójcicki, Ryszard TI - Theory of logical calculi: basic theory of consequence operations SN - 90-277-2785-6 AV - QA 9 W746 PY - 1988/// CY - Dordrecht PB - Kluwer Academic KW - Lógica simbólica y matemática N1 - Incluye índices ER -