Logical reasoning with diagrams [electronic resource] / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]. - New York : Oxford University Press, 1996. - xv, 270 p. : ill. - Studies in logic and computation . - Studies in logic and computation. .

Includes bibliographical references and index.

9780195355864


Knowledge representation (Information theory)
Logic, Symbolic and mathematical--Charts, diagrams, etc.


Electronic books.

QA9 / .L624 1996