结果：找到“数理逻辑·”相关内容54个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
基于耿素云屈婉玲离散数学：数理逻辑+代数结构与组合数学+集合论与图论，北大计算专业0 个回复 - 765 次查看 基于耿素云屈婉玲离散数学：数理逻辑+代数结构与组合数学+集合论与图论，北大计算专业课 高教离散数学（修订版）耿素云屈婉玲Part1数理逻辑部分.ppt 高教离散数学（修订版）耿素云屈婉玲Part3_代数系统部分.ppt ...2022-6-22 15:43 - Mama-2022 - 现金交易版
逻辑导论：中国政法大学学习资料，逻辑引论0 个回复 - 664 次查看 逻辑导论：中国政法大学学习资料，更详细的内容，请参考下面的截图说明！ 教材：《逻辑引论》，黄菊丽、王洪主编，华文出版社。 参考书目：逻辑方面1、宋文坚主编，《逻辑学》，人民出版社，1998年第1版。2、王 ...2022-4-6 07:07 - Kathy-202109 - 现金交易版
基于陆钟万面向计算机科学的数理逻辑第二版- 习题答案2 个回复 - 1067 次查看 基于陆钟万面向计算机科学的数理逻辑第二版- 习题答案 基于陆钟万面向计算机科学的数理逻辑第二版- 习题答案 基于陆钟万面向计算机科学的数理逻辑第二版- 习题答案 基于陆钟万面向计算机科学的数理逻辑第 ...2022-2-23 22:05 - Tiger-like - 现金交易版
数理逻辑（娄定俊）：中大考研复试笔记及典题精解1 个回复 - 616 次查看 数理逻辑（娄定俊）：中大考研复试笔记及典题精解 更详细的内容，请参考下面的截图说明和引言！ 数理逻辑（娄定俊）：中大考研复试笔记及典题精解 数理逻辑（娄定俊）：中大考研复试笔记及典题精解 数理 ...2022-2-23 17:07 - Lamarr-202110 - 现金交易版
基于王家口数理逻辑与集合论（中大周晓聪 考研复习讲稿上的经典习题及答案）1 个回复 - 734 次查看 基于王家口数理逻辑与集合论（中大周晓聪 考研复习讲稿上的经典习题及答案）中山大学计算机考研 教学用书： 石纯一、王家. 数理逻辑与集合论（第二版）. 清华大学出版社 基于王家口数理逻辑与集合论（ ...2022-2-23 17:16 - Lamarr-202110 - 现金交易版
数理逻辑与集合论_第二版_石纯一_课后答案[1-12章]0 个回复 - 709 次查看 数理逻辑与集合论_第二版_石纯一_课后答案[1-12章] 数理逻辑与集合论_第二版_石纯一_课后答案[1-12章] 数理逻辑与集合论_第二版_石纯一_课后答案[1-12章] 数理逻辑与集合论_第二版_石纯一_课后答案[1-1 ...2022-2-23 21:35 - Tiger-like - 现金交易版
数理逻辑与集合论（第2版）课后答案 (王宏版）0 个回复 - 876 次查看 数理逻辑与集合论（第2版）课后答案 (王宏版） 数理逻辑与集合论（第2版）课后答案 (王宏版） 数理逻辑与集合论（第2版）课后答案 (王宏版） 数理逻辑与集合论（第2版）课后答案 (王宏版） 数理逻辑与 ...2022-2-23 21:41 - Tiger-like - 现金交易版
数理逻辑：北大大三学习资料，课件+课后分章节习题答案，Logic for Mathematicians2 个回复 - 1327 次查看 数理逻辑：北大大三学习资料，课件+课后分章节习题答案 数理逻辑：北大大三学习资料，课件+课后分章节习题答案 教学参考教材 Logic for Mathematicians（Revised Edition） A.G.Hamilton，清华大学出版社 ...2022-2-4 15:51 - Kathy-202109 - 现金交易版
数理逻辑实验： 中山大学学习资料，Haskell1 个回复 - 458 次查看 数理逻辑实验： 中山大学学习资料，Haskell 数理逻辑实验： 中山大学学习资料，Haskell 数理逻辑实验： 中山大学学习资料，Haskell 数理逻辑实验： 中山大学学习资料，Haskell 数理逻辑实验： 中山大学学 ...2022-2-23 14:07 - Tiger-like - 现金交易版
数理逻辑与软件工程习题整理：中山大学超级计算学院2 个回复 - 749 次查看 数理逻辑与软件工程习题整理：中山大学超级计算学院 数理逻辑与软件工程习题整理：中山大学超级计算学院 数理逻辑与软件工程习题整理：中山大学超级计算学院 数理逻辑与软件工程习题整理：中山大学超级计算 ...2022-2-23 20:25 - Fu-pear - 现金交易版
数理逻辑与集合论(第二版)：习题答案详解0 个回复 - 896 次查看 数理逻辑与集合论(第二版)：习题答案详解 数理逻辑与集合论(第二版)：习题答案详解 数理逻辑与集合论(第二版)：习题答案详解 数理逻辑与集合论(第二版)：习题答案详解 数理逻辑与集合论(第二版)：习题答 ...2022-1-26 13:01 - mujahida01 - 现金交易版
数理逻辑 第2版 Herbert.B.Enderton
9 个回复 - 3298 次查看 数理逻辑 第2版 Herbert.B.Enderton **** 本内容被作者隐藏 ****2020-7-21 14:23 - hylpy1 - 经济金融数学专区
9 个回复 - 3298 次查看 数理逻辑 第2版 Herbert.B.Enderton **** 本内容被作者隐藏 ****2020-7-21 14:23 - hylpy1 - 经济金融数学专区
原创力网站文献下载 数理逻辑 汉密尔顿
4 个回复 - 1360 次查看 【作者(必填)】 汉密尔顿 【文题(必填)】 数理逻辑 【年份(必填)】 不详 【全文链接或数据库名称(选填)】https://max.book118.com/html/2016/0226/36008896.shtm2020-6-21 12:06 - ftdfeiyang - 求助成功区
4 个回复 - 1360 次查看 【作者(必填)】 汉密尔顿 【文题(必填)】 数理逻辑 【年份(必填)】 不详 【全文链接或数据库名称(选填)】https://max.book118.com/html/2016/0226/36008896.shtm2020-6-21 12:06 - ftdfeiyang - 求助成功区
陈硕 ： 实证研究中的语言逻辑与数理逻辑 （上）| 站在前人肩膀上
1 个回复 - 2486 次查看 实证研究中的语言逻辑与数理逻辑陈硕摘 要: 文 章 作 者 是 Designing Social Inquiry: Scientific Inference in Qualitative Research 的中文简体版译者。作者在文章中试图对学者在实证研究中经常遇到的 语言逻辑和 ...2018-11-1 09:53 - 杨明凡 - Stata专版
1 个回复 - 2486 次查看 实证研究中的语言逻辑与数理逻辑陈硕摘 要: 文 章 作 者 是 Designing Social Inquiry: Scientific Inference in Qualitative Research 的中文简体版译者。作者在文章中试图对学者在实证研究中经常遇到的 语言逻辑和 ...2018-11-1 09:53 - 杨明凡 - Stata专版
如何分析主观欲望与客观需要层次的价值实现和数理逻辑思维
0 个回复 - 1643 次查看 今日看到有学者说: “欲望越强的人，往往层次越低”？我认为未必！一个人正是因为有了想实现满足更高层次的需要时，才会产生了激发去实现这种需要的心理欲求，故“欲望”是一个人望向更高更好需要的心理欲求！正是因 ...2021-6-10 11:48 - 林汉扬 - 马克思主义经济学
0 个回复 - 1643 次查看 今日看到有学者说: “欲望越强的人，往往层次越低”？我认为未必！一个人正是因为有了想实现满足更高层次的需要时，才会产生了激发去实现这种需要的心理欲求，故“欲望”是一个人望向更高更好需要的心理欲求！正是因 ...2021-6-10 11:48 - 林汉扬 - 马克思主义经济学
数理逻辑与范畴论应用 王世强 孟晓青 著,1999
3 个回复 - 1271 次查看 数理逻辑与范畴论应用 王世强 孟晓青 著,1999 **** 本内容被作者隐藏 ****2020-7-21 14:20 - hylpy1 - 经济金融数学专区
3 个回复 - 1271 次查看 数理逻辑与范畴论应用 王世强 孟晓青 著,1999 **** 本内容被作者隐藏 ****2020-7-21 14:20 - hylpy1 - 经济金融数学专区
原创力网站文献下载 数理逻辑基本原理与形式演算
2 个回复 - 475 次查看 【作者(必填)】 李未 【文题(必填)】 数理逻辑 【年份(必填)】 不详 【全文链接或数据库名称(选填)https://max.book118.com/html/2019/0104/8070077054001143.shtm2020-6-21 12:28 - ftdfeiyang - 求助成功区
2 个回复 - 475 次查看 【作者(必填)】 李未 【文题(必填)】 数理逻辑 【年份(必填)】 不详 【全文链接或数据库名称(选填)https://max.book118.com/html/2019/0104/8070077054001143.shtm2020-6-21 12:28 - ftdfeiyang - 求助成功区
2018年国防科技大学数理逻辑+统计信号处理考博真题考博试题0 个回复 - 874 次查看 2018年国防科技大学数理逻辑考博真题考博试题 2018年国防科技大学统计信号处理考博真题考博试题 下载地址如下： 试题样张截图如下：2020-6-10 05:41 - todaytheo - 现金交易版
马克思主义经济哲学研究_社会科学与哲学研究_共享产权研究（一种数理逻辑分析方法）
2 个回复 - 704 次查看 财产，是指拥有的金钱、物资、房屋、土地、专利等有形或无形的具有经济价值的财富。大体上，财产有三种：即动产、不动产和知识财产（知识产权）；如果按所有权来划分，则可分为公有财产和私有财产。随着经济、科技的 ...2019-5-24 23:54 - HonePrinceton - 文献求助专区
2 个回复 - 704 次查看 财产，是指拥有的金钱、物资、房屋、土地、专利等有形或无形的具有经济价值的财富。大体上，财产有三种：即动产、不动产和知识财产（知识产权）；如果按所有权来划分，则可分为公有财产和私有财产。随着经济、科技的 ...2019-5-24 23:54 - HonePrinceton - 文献求助专区
【经典教材系列】数理逻辑入门 A Friendly Introduction to Mathematical Logic
121 个回复 - 15896 次查看 经典教材2016年第2版，降价出售3天。如果喜欢，就请“加关注”我吧 （点击我头像下方，http://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=452766）。关注成功后，查看这里即可：三步走把千本好书“一网打尽” ...2017-2-13 00:51 - wwqqer - 金融学（理论版）
121 个回复 - 15896 次查看 经典教材2016年第2版，降价出售3天。如果喜欢，就请“加关注”我吧 （点击我头像下方，http://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=452766）。关注成功后，查看这里即可：三步走把千本好书“一网打尽” ...2017-2-13 00:51 - wwqqer - 金融学（理论版）
陈志武：社科研究为何要以“实证和数理逻辑”为基础
2 个回复 - 2281 次查看 陈志武：社科研究为何要以“实证和数理逻辑”为基础 中国经济学教育科研网 [/img] 微信号 cenet1998功能介绍 经济学术动态资料，经济思想交汇碰撞，经济政策解读聚焦，经济书籍品评荐读 编者按：陈志武的文章《 ...2015-3-23 09:56 - jitian - 教育经济学
2 个回复 - 2281 次查看 陈志武：社科研究为何要以“实证和数理逻辑”为基础 中国经济学教育科研网 [/img] 微信号 cenet1998功能介绍 经济学术动态资料，经济思想交汇碰撞，经济政策解读聚焦，经济书籍品评荐读 编者按：陈志武的文章《 ...2015-3-23 09:56 - jitian - 教育经济学
数理逻辑发展史-从莱布尼茨到哥德尔 张家龙 著,1993
32 个回复 - 3034 次查看 数理逻辑发展史-从莱布尼茨到哥德尔 张家龙 著,1993 **** 本内容被作者隐藏 ****2019-8-14 10:45 - hylpy1 - 经济金融数学专区
32 个回复 - 3034 次查看 数理逻辑发展史-从莱布尼茨到哥德尔 张家龙 著,1993 **** 本内容被作者隐藏 ****2019-8-14 10:45 - hylpy1 - 经济金融数学专区
《Logic for Applications》Anil Nerode Richard A. Shore数理逻辑
0 个回复 - 1947 次查看 外文比较有名的数理逻辑教程，五行缺币，友情分享，谢谢！2018-11-3 21:24 - 天铭轩 - Forum
0 个回复 - 1947 次查看 外文比较有名的数理逻辑教程，五行缺币，友情分享，谢谢！2018-11-3 21:24 - 天铭轩 - Forum
陈硕 ： 实证研究中的语言逻辑与数理逻辑（下） | 站在前人肩膀上
2 个回复 - 2037 次查看 三、语言逻辑和数理逻辑间的转换是决定实证研究者研究水平的重要因素对于研究者来说，其学术和研究生涯遇到的大多数反馈都是基于语言逻辑 的。比如，在各种学术讨论上、与同行交谈甚至在审稿人意见中，对方一般用 语 ...2018-11-1 09:56 - 杨明凡 - Stata专版
2 个回复 - 2037 次查看 三、语言逻辑和数理逻辑间的转换是决定实证研究者研究水平的重要因素对于研究者来说，其学术和研究生涯遇到的大多数反馈都是基于语言逻辑 的。比如，在各种学术讨论上、与同行交谈甚至在审稿人意见中，对方一般用 语 ...2018-11-1 09:56 - 杨明凡 - Stata专版
数理逻辑定义
1 个回复 - 865 次查看 数理逻辑 什么是数理逻辑 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式 ...2018-10-8 17:32 - fmsu_я - 休闲灌水
1 个回复 - 865 次查看 数理逻辑 什么是数理逻辑 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式 ...2018-10-8 17:32 - fmsu_я - 休闲灌水
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》
0 个回复 - 983 次查看 《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基 ...2017-6-14 13:50 - alloon - 经管书评
0 个回复 - 983 次查看 《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基 ...2017-6-14 13:50 - alloon - 经管书评
玛氏中国2010能力测试数理逻辑测试样题（转载）
10 个回复 - 10977 次查看 玛氏中国2010校园招聘数理测试中section 3的第五题的正确答案应为81分。具体题目如下： 某销售团队男女比例为4：5，年底业绩综合考评测试，所有人平均分是 75 分，但是女销售员的平均分比男销售员高1/5 ，那么这个 ...2010-7-27 15:30 - 12113122 - 经管类求职与招聘
10 个回复 - 10977 次查看 玛氏中国2010校园招聘数理测试中section 3的第五题的正确答案应为81分。具体题目如下： 某销售团队男女比例为4：5，年底业绩综合考评测试，所有人平均分是 75 分，但是女销售员的平均分比男销售员高1/5 ，那么这个 ...2010-7-27 15:30 - 12113122 - 经管类求职与招聘
《美国经典全脑300题：数理逻辑卷》佚名[PDF]
47 个回复 - 1495 次查看 内容介绍： 本书包括上篇和下篇两大部分，每个部分又根据难度分别由5个单元或3个单元组成，内容循序渐进，让孩子在阶段性练习中不断进步，目录中的每一道题都附有题型介绍，家长能够一目了然地知道每道题目所侧 ...2013-4-23 10:27 - xgz6151 - 版权审核区（不对外开放）
47 个回复 - 1495 次查看 内容介绍： 本书包括上篇和下篇两大部分，每个部分又根据难度分别由5个单元或3个单元组成，内容循序渐进，让孩子在阶段性练习中不断进步，目录中的每一道题都附有题型介绍，家长能够一目了然地知道每道题目所侧 ...2013-4-23 10:27 - xgz6151 - 版权审核区（不对外开放）
【独家发布】社科研究为何要以“实证和数理逻辑”为基础
1 个回复 - 1046 次查看 RT， 社科研究为何要以“实证和数理逻辑”为基础 -----------------------2016年9月30日23:46:272016-9-30 23:47 - 日新少年 - Stata专版
1 个回复 - 1046 次查看 RT， 社科研究为何要以“实证和数理逻辑”为基础 -----------------------2016年9月30日23:46:272016-9-30 23:47 - 日新少年 - Stata专版
数理逻辑发展史：从莱布尼茨到哥德尔 张家龙.pdf
16 个回复 - 5006 次查看 数理逻辑发展史：从莱布尼茨到哥德尔 张家龙.pdf，供网友免费下载参考。（已搜索，之前论坛没有。） 注意： 收费时段：10:00 - 11:00； 15:00 - 17:00； 21:00 - 23:00（北京时间），其他时间不取任何流量费。 ...2009-6-29 21:25 - 王志成2010 - 经管书评
16 个回复 - 5006 次查看 数理逻辑发展史：从莱布尼茨到哥德尔 张家龙.pdf，供网友免费下载参考。（已搜索，之前论坛没有。） 注意： 收费时段：10:00 - 11:00； 15:00 - 17:00； 21:00 - 23:00（北京时间），其他时间不取任何流量费。 ...2009-6-29 21:25 - 王志成2010 - 经管书评
余 斌:西方经济学与马克思主义政治经济学的数理逻辑比较
3 个回复 - 3411 次查看 西方经济学与马克思主义政治经济学的数理逻辑比较 1、西方经济学对数理逻辑的违背和滥用 西方经济学对数理逻辑的违背和滥用，在《诺贝尔经济学奖的耻辱——彻底否定资本结构无关论》和《微观经济学批判》这两本书 ...2005-9-5 09:43 - l李昆华 - 马克思主义经济学
3 个回复 - 3411 次查看 西方经济学与马克思主义政治经济学的数理逻辑比较 1、西方经济学对数理逻辑的违背和滥用 西方经济学对数理逻辑的违背和滥用，在《诺贝尔经济学奖的耻辱——彻底否定资本结构无关论》和《微观经济学批判》这两本书 ...2005-9-5 09:43 - l李昆华 - 马克思主义经济学
请高手不用辩证法、只用数理逻辑解释“五行相生、五行相克”
6 个回复 - 1845 次查看 论坛有很多经济学者尤其是马经学者学贯中西，辩证法、逻辑学满口之乎者也。 可否出来走两步？ 就请您解释一个中国古老的命题。一个流传五千年、循环论证的经典命题！ 麻烦诸位高手只用逻辑学解释一下“五行相 ...2013-2-25 10:37 - xnv - 马克思主义经济学
6 个回复 - 1845 次查看 论坛有很多经济学者尤其是马经学者学贯中西，辩证法、逻辑学满口之乎者也。 可否出来走两步？ 就请您解释一个中国古老的命题。一个流传五千年、循环论证的经典命题！ 麻烦诸位高手只用逻辑学解释一下“五行相 ...2013-2-25 10:37 - xnv - 马克思主义经济学
[贺岁贴] 原来数理逻辑是这么回事
4 个回复 - 912 次查看 原来数理逻辑是这么回事 某社会学家试图用数理逻辑来研究人和猪的关系问题。经苦思，他终于建立了以下人和猪的数学模型。 1.人是什么？ 人＝饮食+睡觉+工作 2.猪是什么？ 猪＝饮食+睡觉 ...2012-12-31 11:23 - 冷眼老克 - 马克思主义经济学
4 个回复 - 912 次查看 原来数理逻辑是这么回事 某社会学家试图用数理逻辑来研究人和猪的关系问题。经苦思，他终于建立了以下人和猪的数学模型。 1.人是什么？ 人＝饮食+睡觉+工作 2.猪是什么？ 猪＝饮食+睡觉 ...2012-12-31 11:23 - 冷眼老克 - 马克思主义经济学
数理逻辑批判与《资本论》创作
11 个回复 - 1846 次查看 作者：[韩毓海] 来源：[《人民论坛·学术前沿》2012年11月]摘要 马克思认为，资本主义的生产与交换活动并不受数学和逻辑法则支配，而包括数学和逻辑学在内的形而上学只不过是资产阶级经济学的方法论基础。资产阶级 ...2012-11-26 09:50 - yiweiluoye - 马克思主义经济学
11 个回复 - 1846 次查看 作者：[韩毓海] 来源：[《人民论坛·学术前沿》2012年11月]摘要 马克思认为，资本主义的生产与交换活动并不受数学和逻辑法则支配，而包括数学和逻辑学在内的形而上学只不过是资产阶级经济学的方法论基础。资产阶级 ...2012-11-26 09:50 - yiweiluoye - 马克思主义经济学
希尔柏脱、阿克曼《数理逻辑基础》
37 个回复 - 6398 次查看 [此贴子已经被一刹春于2004-11-10 23:24:49编辑过]2004-10-29 16:10 - ajm2000lns - 计量经济学与统计软件
37 个回复 - 6398 次查看 [此贴子已经被一刹春于2004-11-10 23:24:49编辑过]2004-10-29 16:10 - ajm2000lns - 计量经济学与统计软件
如何反驳郎咸平，请拿出数字、实例、数理逻辑分析
26 个回复 - 4994 次查看 经济学、金融学、财务会计虽然和工程技术不同，但如果是真实合理有效的。都应该以真实性论据为根本 我们大家都知道一句话“实践检验真理的唯一标准”，至于什么是实践，教科书上也有定义，就是人类改造自然界及自身 ...2011-11-16 19:26 - felseny - 真实世界经济学(含财经时事)
26 个回复 - 4994 次查看 经济学、金融学、财务会计虽然和工程技术不同，但如果是真实合理有效的。都应该以真实性论据为根本 我们大家都知道一句话“实践检验真理的唯一标准”，至于什么是实践，教科书上也有定义，就是人类改造自然界及自身 ...2011-11-16 19:26 - felseny - 真实世界经济学(含财经时事)
圆锥曲线以最小曲率半径L0代替eP是合乎数理逻辑的
9 个回复 - 1969 次查看 圆锥曲线以最小曲率半径L0代替eP是合乎数理逻辑的我改造了传统的圆锥曲线的极坐标方程，基础理论创新无人理采、无人过问, 这是学术腐败。 教科书中圆锥曲线定义不合理，传统的圆锥曲线的极坐标方程系数P是局限性的量 ...2010-6-28 00:32 - xyd1936 - 休闲灌水
9 个回复 - 1969 次查看 圆锥曲线以最小曲率半径L0代替eP是合乎数理逻辑的我改造了传统的圆锥曲线的极坐标方程，基础理论创新无人理采、无人过问, 这是学术腐败。 教科书中圆锥曲线定义不合理，传统的圆锥曲线的极坐标方程系数P是局限性的量 ...2010-6-28 00:32 - xyd1936 - 休闲灌水
[原创]苗实：经济思想与数理逻辑
97 个回复 - 14697 次查看 说到数理逻辑，可以追溯到小学，经历了初中.高中和大学。可以说，接受数理的训练，也有二十年左右了。而提及经济思想，是从大学的中期才接触到，正规系统全面的学习也是2000年以后了，说来也有十年左右了。 ...2010-3-8 07:22 - mingjingfeitai - 真实世界经济学(含财经时事)
97 个回复 - 14697 次查看 说到数理逻辑，可以追溯到小学，经历了初中.高中和大学。可以说，接受数理的训练，也有二十年左右了。而提及经济思想，是从大学的中期才接触到，正规系统全面的学习也是2000年以后了，说来也有十年左右了。 ...2010-3-8 07:22 - mingjingfeitai - 真实世界经济学(含财经时事)
关于数理逻辑的教材有哪些是比较权威的？？？？
3 个回复 - 3341 次查看 关于数理逻辑的教材有哪些是比较权威的？？？？大家帮忙介绍，谢谢了2010-4-22 12:52 - yangjianhuobi - 爱问频道
3 个回复 - 3341 次查看 关于数理逻辑的教材有哪些是比较权威的？？？？大家帮忙介绍，谢谢了2010-4-22 12:52 - yangjianhuobi - 爱问频道
