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