Venn diagram/Bibliography


 * The author attempts to show that Venn diagrams are not just heuristic tools for discovering proofs, but can be made rigorous tools by developing a formal syntax and semantics.