Barwise Hammer, Logical Reasoning with diagrams (1996)

by Gerard Allwein, Jon
Venue:Studies in Logic and Computation 6