Individual #John_Venn__Venn  English logician who introduced Venn diagrams (1834-1923)
  type:  logician__logistician  a person skilled at symbolic logic

No statement uses or specializes John_Venn; click here to add one.