检索到 50 条 主题词=形式 的结果
-
中文图书1.形式逻辑.第6版 B812/32=6
馆藏复本：28
可借复本：28 华东师范大学哲学系逻辑学教研室编
华东师范大学出版社 2023
(0) 馆藏 -
中文图书2.形式的起源 B025.2/1
馆藏复本：3
可借复本：3 (美) 克里斯托弗·威廉斯著
浙江教育出版社 2021
(0) 馆藏 -
中文图书3.形式语言与自动机理论.第3版 TP301/2=3
馆藏复本：3
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2013
(0) 馆藏 -
中文图书4.形式语言与自动机导论 TP301/143
馆藏复本：3
可借复本：3 (美) 彼得·林茨, 苏珊·H. 罗杰著
机械工业出版社 2025
(0) 馆藏 -
中文图书5.形式主义莎评经典研究 I561.063/8
馆藏复本：3
可借复本：3 许勤超, 刘昱君著
中国社会科学出版社 2024
(0) 馆藏 -
中文图书6.形式语言与自动机理论.第4版 TP301.2/1=4
馆藏复本：3
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2023
(0) 馆藏 -
中文图书7.普通逻辑概要.第2版 B812/31=2
馆藏复本：3
可借复本：3 主编俞瑾
南京大学出版社 2022
(0) 馆藏 -
中文图书8.普通逻辑学教程.第7版 B812-43/2=7
馆藏复本：3
可借复本：3 李小克编著
首都经济贸易大学出版社 2021
(0) 馆藏 -
中文图书9.逻辑与方法论 B812/6:1, B812/6:2
馆藏复本：5
可借复本：5 钱为钢, 杭仁童编著
上海三联书店 2004
(0) 馆藏 -
中文图书10.形式语言基础 J06/385
馆藏复本：3
可借复本：3 黄春平编著
化学工业出版社 2020
(0) 馆藏 -
中文图书11.自动机理论、语言和计算导论:典藏版 TP301.1/2
馆藏复本：3
可借复本：3 (美) 约翰·E.霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D.乌尔曼著
机械工业出版社 2022
(0) 馆藏 -
日文图书12.オートマトン言語理論計算論.第2版 TP301.1/J1=2:2
馆藏复本：1
可借复本：1 J. ホップクロフト, R. モトワニ, J. ウルマン共著
サイエンス社 2003
(0) 馆藏 -
中文图书13.普通形式逻辑 B812/13
馆藏复本：5
可借复本：5 主编关老健
中山大学出版社 2002
(0) 馆藏 -
中文图书14.实用逻辑教程.第5版 B812/28=5
馆藏复本：3
可借复本：3 张绵厘编著
中国人民大学出版社 2015
(0) 馆藏 -
中文图书15.形式逻辑初稿 B812/23
馆藏复本：3
可借复本：3 王立吾编著
苏州大学出版社 2015
(0) 馆藏 -
中文图书16.形式逻辑教程.第2版 B812/22=2
馆藏复本：3
可借复本：3 连丽霞主编
中国农业大学出版社 2015
(0) 馆藏 -
中文图书17.形式语言, 自动机理论与计算导论 TP301/21
馆藏复本：3
可借复本：3 (印) Kamala Krithivasan, Rama R著
电子工业出版社 2012
(0) 馆藏 -
中文图书18.形式语言与自动机理论 TP301.2/1
馆藏复本：3
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2003
(0) 馆藏 -
中文图书19.电磁场理论形式逻辑分析 O441.4-53/1
馆藏复本：3
可借复本：3 杨本洛著
上海交通大学出版社 2009
(0) 馆藏 -
中文图书20.形式逻辑导论 B812/20
馆藏复本：5
可借复本：5 主编刘汉民
中国人民公安大学出版社 2008
(0) 馆藏
