数学机械化的思想

- 从吴文俊和吴方法谈起 - －数学机械化的思想