检索到 37 条 主题词=形式 的结果
-
中文图书1.形式化方法:理论及应用:theory and applications TP301.2/9
馆藏复本：2
可借复本：2 华保健编著
中国科学技术大学出版社 2024
(0) 馆藏 -
中文图书2.形式语义学的预设问题研究 TP301.2/8
馆藏复本：2
可借复本：2 陈晶晶著
中国社会科学出版社 2024
(0) 馆藏 -
中文图书3.形式化方法导论.2版 TP301.2/7=2
馆藏复本：2
可借复本：2 张广泉编著
清华大学出版社 2023
(0) 馆藏 -
中文图书4.形式语言与自动机导论
馆藏复本：0
可借复本：0 (美)彼得·林茨(Peter Linz)，(美)苏珊·H. 罗杰(Susan H. Rodger)著
机械工业出版社 2025
(0) 馆藏 -
中文图书5.国外优秀物理著作原版丛书.第一辑:英文
馆藏复本：0
可借复本：0 (英)杰弗里·H.威廉姆斯(JeffreyH.Williams)等著
哈尔滨工业大学出版社 2024.10
(0) 馆藏 -
中文图书6.自动机理论、语言和计算导论:典藏版
馆藏复本：0
可借复本：0 (美)约翰·E.霍普克罗夫特，(美)拉杰夫·莫特瓦尼，(美)杰弗里·D.乌尔曼著
机械工业出版社 2022.04
(0) 馆藏 -
中文图书7.逻辑观念的变迁 B812/30
馆藏复本：2
可借复本：2 田忠锋著
中国社会科学出版社 2023.11
(0) 馆藏 -
中文图书8.走向意义:形式语义学与维特根斯坦 TP301.2/6
馆藏复本：2
可借复本：2 (荷) 司马亭著
清华大学出版社 2022.07
(0) 馆藏 -
中文图书9.自动机理论、语言和计算导论 TP301.1/2
馆藏复本：2
可借复本：2 (美) 约翰·E.霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D.乌尔曼著
机械工业出版社 2022.04
(0) 馆藏 -
中文图书10.普通逻辑.第2版 B812/27=2
馆藏复本：2
可借复本：2 高滨, 邵青主编
中国铁道出版社有限公司 2021.5
(0) 馆藏 -
中文图书11.俄罗斯形式主义诗学 I512.072/2
馆藏复本：3
可借复本：3 张冰著
中国社会科学出版社 2019
(0) 馆藏 -
中文图书12.形式的起源 B025/2
馆藏复本：2
可借复本：2 (美) 克里斯托弗·威廉斯著
浙江教育出版社 2021
(0) 馆藏 -
中文图书13.如何进行逻辑思维:形式逻辑思考题 B812.2/8
馆藏复本：5
可借复本：4 苏天辅，徐式厚编
中央广播电视大学出版社 1984
(0) 馆藏 -
中文图书14.形式逻辑问题分析 B812/24
馆藏复本：4
可借复本：2 卢明森，胡冶岩编
中国财政经济出版社 1986
(0) 馆藏 -
中文图书15.形式逻辑自学辅导 B812/26
馆藏复本：3
可借复本：1 四川大学形式逻辑课程小组编写
四川省社会科学院出版社 1985
(0) 馆藏 -
中文图书16.普通逻辑原理 B81/2
馆藏复本：7
可借复本：2 孙仁生,任书来主编
大连理工大学出版社 1994
(0) 馆藏 -
中文图书17.高等教育自学考试应试指导及综合模拟题库,普通逻辑原理 B812-44/2
馆藏复本：6
可借复本：4 马玉珂主编
中国财政经济出版社 1997
(0) 馆藏 -
中文图书18.形式逻辑 B812/23
馆藏复本：4
可借复本：2 吴学静编著
安徽人民出版社 1983
(0) 馆藏 -
中文图书19.《形式逻辑(修订本)》自学要点和思考题、练习题解答 B812-44/3
馆藏复本：3
可借复本：2 中国人民大学形式逻辑教研室编
求实出版社 1985
(0) 馆藏 -
中文图书20.应用逻辑中的数学问题 B812/22
馆藏复本：3
可借复本：2 (英)D.M. 加贝，(俄)S.S. 贡恰罗夫，(美)M. 扎哈里扬谢夫编
科学出版社 2020
(0) 馆藏
