Logical reasoning with diagrams (Oxford University Press, 1996)
Includes bibliographical references and index