小不点搜索 登录

哈姆特《逻辑语言与意义》-41-第四章证明和推理：4.1证明和证明模式：语句真，相关语句也为真；部分归纳；证明语句有效；直觉可信度；语义法，翻译模型真值；句法，

请输入举报反馈原因