Logical Reasoning with Diagrams and Sentences

by David Barker-Plummer, Jon Barwise, John Etchemendy