TY - BOOK AU - Allwein, Gerard, AU - Barwise,Jon AU - Allwein, Gerard, ED - University of Oxford TI - Logical reasoning with diagrams T2 - Studies in logic and computation SN - 0195104277 AV - QA9 L646 PY - 1996/// CY - New York ; México PB - Oxford University Press KW - Lógica simbólica y matemática KW - Cartas, diagramas, etc KW - Representación del conocimiento (Teoría de la información) ER -