10659Venn diagramsPT0000-00-00 00:00:00BT8474mathematical logicPT