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