“自然演绎系统”的概念、定义、翻译、参考文献-科学参考

单词	自然演绎系统
释义	自然演绎系统 Encyclopedia 哲学逻辑释 system of natural inference自然演绎系统没有公理，只有若干推理规则的演绎系统。 Mathematics natural deduction system自然演绎系统 system of natural deduction自然演绎系统
随便看	William Dobson William Dudley Haywood William Dunlap William Edgar Borah William Edward Boeing William Edward Burghardt Du Bois William Eggleston William Ellery Channing William Emmanuel Abraham William Empson William Ernest Hocking William Ernest Stephen Turner William Eugene Smith William Ewart Gladstone William Fagg William Farquhar Conton William Faulkner William F. Birdsall William Fielding Ogburn William Foote Whyte William Forsythe: Improvisation Technologies A Tool for the Analytical Dance Eye William Foxwell Albright William Francis Giauque William Froude William Gaddis

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。