主机名：page-component-76fb5796d-x4r87总加载时间：0渲染日期：2024-04-26T09:53:11.949Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

严格且可靠——勘误表

剑桥大学出版社在线出版：2022年2月22日

奥利弗·塔顿-布朗
权限和权限 [在新窗口中打开]

摘要

此内容没有摘要。当您有权访问此内容时，此页面上会提供完整的HTML内容。也可以通过“保存PDF”操作按钮在中获取此内容的PDF。

关键词

数学严谨性确实的证据有效性形式化数学实践证明长度勘误表
类型
勘误表
问询处
符号逻辑述评 ,第16卷 ,第1版 2023年3月 ，第338页
检查更新
版权
©作者，2022年。剑桥大学出版社代表符号逻辑协会出版

上述文章[参考Tatton-Brown1]在第3节标题中有错误的情况下发布。正确的标题是“严格的教育”

工具书类

参考文献

塔顿-布朗,O。(2020).严格和证明.逻辑符号学述评.doi文件：2017年10月10日/S1755020320000398.交叉参考谷歌学者