Words, proofs, and diagrams /
Barker-Plummer, Dave.
Center for the Study of Language and Information (U.S.)
Stanford, Calif : Centre for the Study of Language and Information,
c2002.
"CSLI publications."
Includes bibliographical references and index.
Language and logic.
Reasoning.
Logic diagrams.
Computational linguistics.
Visual communication.
Semantics (Philosophy)