Studies in Logic and Computation

1 total work

Logical Reasoning with Diagrams

by Assistant Director Visual Inference Laboratory Gerard Allwein and Department of Mathematics Jon Barwise

Published 1 January 1996