Gerard Allwein-Jon Barwise

Logical Reasoning with Diagrams - Oxford University Press 1996 - Studies in Logic and Computation .

9780195104271


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