大约有600项符合查询结果项。（搜索耗时：0.0066秒）
为您推荐：
东北师范大学哲学教研室逻辑学教学小组
南开大学哲学系逻辑学教研室著
南开大学哲学院逻辑学教研室著
中国人民大学哲学院逻辑学教研室
中共中央高级党校哲学教研室
中共辽宁省委党校哲学教研室
-
昂扬编著1991 年出版230 页ISBN：7309006682
本书系统地讲解了数理逻辑的思想与方法
-
李仲来主编2005 年出版320 页ISBN：7303074945
-
欧阳录编著1982 年出版127 页ISBN：7284·23
-
陈淑敏编1984 年出版185 页ISBN：13217·126
-
翟连林，陈伟侯主编1987 年出版715 页ISBN：7216·302
-
李娜编著2010 年出版271 页ISBN：9787307079915
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
-
（苏）菲尼可夫（С.П.Хиников）著；苏步青译1956 年出版456 页ISBN：13031·203
-
汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
-
（英）戴梦德（F．Diamond），（美）谢尔曼（Shurman，J.）著2007 年出版439 页ISBN：750628300X
本书是Springer《数学研究生丛书》第228卷，内容主要包括：椭圆曲线、复环面和代数曲，模曲线 、黎曼曲面和代数曲线等。
-
王世强，孟晓青著1999 年出版377 页ISBN：7303048553
国家自然科学基金教育部博士点基金资助项目。
