Logical reasoning with diagrams - Allwein, Gerard 1956-.; Barwise, Jon. (New York Oxford University Press, 1996)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical -- Charts, diagrams, etc; Knowledge representation (Information theory)