Venn, John (1834–1923) British logician who, in his work Symbolic Logic of 1881, introduced what are now called Venn diagrams.
Venn, John
数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。