Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Aristotle was the founder of traditional logic, and G-Frege, a famous mathematician of German, was the founder of modern mathematical logic.
亚里士多德是传统逻辑的创始人。弗雷格,德国著名的数学家,逻辑学家,是现代数理逻辑的创始人。
应用推荐