结果：找到“Proof theory”相关内容9个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
Logic Programming Operational Semantics and Proof Theory
1 个回复 - 417 次查看 Logic Programming Operational Semantics and Proof Theory 作者: James H. Andrews 出版社: Cambridge University Press 出版年: 1993-1-29 页数: 116 装帧: Hardcover ISBN: 9780521432191 ...2023-10-1 12:25 - wxwpxh - IT基础
1 个回复 - 417 次查看 Logic Programming Operational Semantics and Proof Theory 作者: James H. Andrews 出版社: Cambridge University Press 出版年: 1993-1-29 页数: 116 装帧: Hardcover ISBN: 9780521432191 ...2023-10-1 12:25 - wxwpxh - IT基础
Problems and Proofs in Real Analysis Theory of Measure and Integration by J Yeh
22 个回复 - 6435 次查看 Problems and Proofs in Real Analysis Theory of Measure and Integration by J Yeh **** 本内容被作者隐藏 ****2021-1-19 15:40 - hylpy1 - 经济金融数学专区
22 个回复 - 6435 次查看 Problems and Proofs in Real Analysis Theory of Measure and Integration by J Yeh **** 本内容被作者隐藏 ****2021-1-19 15:40 - hylpy1 - 经济金融数学专区
Basic Proof Theory
1 个回复 - 526 次查看 Basic Proof Theory 作者: A. S. Troelstra / H. Schwichtenberg 出版社: Cambridge University Press 出版年: 2000-7-31 页数: 432 定价: USD 49.00 装帧: Paperback 丛书: Cambridge Tracts in Theoretic ...2023-8-7 07:02 - wxwpxh - IT基础
1 个回复 - 526 次查看 Basic Proof Theory 作者: A. S. Troelstra / H. Schwichtenberg 出版社: Cambridge University Press 出版年: 2000-7-31 页数: 432 定价: USD 49.00 装帧: Paperback 丛书: Cambridge Tracts in Theoretic ...2023-8-7 07:02 - wxwpxh - IT基础
Set Theory - Boolean-Valued Models and Independence Proofs
2 个回复 - 705 次查看 Set Theory 作者: Bell, John L. 出版年: 2011-12 页数: 216 定价: $ 62.15 ISBN: 97801996091612022-11-14 23:46 - wxwpxh - IT基础
2 个回复 - 705 次查看 Set Theory 作者: Bell, John L. 出版年: 2011-12 页数: 216 定价: $ 62.15 ISBN: 97801996091612022-11-14 23:46 - wxwpxh - IT基础
【独家发布】【2016新书】Advances in Proof Theory
8 个回复 - 976 次查看 如果喜欢该文档，欢迎订阅【2016新书】文库，http://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3187 图书名称：Advances in Proof Theory[/backcolor][/backcolor] 作者：Reinhard Kahle (Edit ...2016-8-5 09:12 - 牛尾巴 - winbugs及其他软件专版
8 个回复 - 976 次查看 如果喜欢该文档，欢迎订阅【2016新书】文库，http://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3187 图书名称：Advances in Proof Theory[/backcolor][/backcolor] 作者：Reinhard Kahle (Edit ...2016-8-5 09:12 - 牛尾巴 - winbugs及其他软件专版
A Disproof of a Conjecture of Erdős in Ramsey Theory
1 个回复 - 634 次查看 【作者(必填)】Andrew Thomason 【文题(必填)】A Disproof of a Conjecture of Erdős in Ramsey Theory 【年份(必填)】1989 【全文链接或数据库名称(选填)】http://jlms.oxfordjournals.org/content/ ...2013-11-16 23:01 - lzguo99 - 求助成功区
1 个回复 - 634 次查看 【作者(必填)】Andrew Thomason 【文题(必填)】A Disproof of a Conjecture of Erdős in Ramsey Theory 【年份(必填)】1989 【全文链接或数据库名称(选填)】http://jlms.oxfordjournals.org/content/ ...2013-11-16 23:01 - lzguo99 - 求助成功区
Mathematical Proof Theory in the Light of Ordinal Analysis
0 个回复 - 569 次查看 摘要：We give an overview of recent results in ordinal analysis. Therefore,we discuss the different frameworks used in mathematical proof-theory, namely subsyste...http://link.springer.com/article/10. ...2018-2-2 01:29 - 论文库 - 人工智能论文版
0 个回复 - 569 次查看 摘要：We give an overview of recent results in ordinal analysis. Therefore,we discuss the different frameworks used in mathematical proof-theory, namely subsyste...http://link.springer.com/article/10. ...2018-2-2 01:29 - 论文库 - 人工智能论文版
