TY - BOOK AU - Allwein,Gerard AU - Barwise,Jon ED - ProQuest (Firm) TI - Logical reasoning with diagrams T2 - Studies in logic and computation SN - 9780195355864 AV - QA9 .L624 1996 PY - 1996/// CY - New York PB - Oxford University Press KW - Knowledge representation (Information theory) KW - Logic, Symbolic and mathematical KW - Charts, diagrams, etc KW - Electronic books N1 - Includes bibliographical references and index UR - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=430395 ER -