分面检索

图书馆

1. 白云区图书馆 (3)
2. 从化区图书馆 (6)
3. 广州城市职业学院 (11)
4. 广州少年儿童图书馆 (1)
5. 广州图书馆 (29)
6. 花都区图书馆 (5)
7. 黄埔区图书馆 (9)
8. 黄埔区双沙中学 (1)
9. 海珠区图书馆 (4)
10. 荔湾区图书馆 (1)
11. 南沙区图书馆 (18)
12. 番禺区图书馆 (6)
13. 天河区图书馆 (8)
14. 增城图书馆 (5)
15. 显示更多..

主题

1. 数理逻辑 (6)
2. 概论 (6)
3. 理论 (5)
4. 逻辑 (5)
5. 逻辑学 (4)
6. logic (3)
7. logic design (3)
8. 方法论 (3)
9. 演绎推理 (3)
10. 程序设计 (3)
11. 逻辑设计 (3)
12. 高等学校 (3)
13. digital integrated circuits (2)
14. identity (philosophical concept) (2)
15. identity (psychology) (2)
16. science (2)
17. 基本知识 (2)
18. 数学逻辑 (2)
19. 电子计算机 (2)
20. 研究 (2)
21. 显示更多..

著者

1. 吴允曾 (5)
2. 周礼全 (5)
3. 周礼全，吴允曾，晏成书译 (5)
4. 塔尔斯基 (5)
5. 晏成书 (5)
6. 陈波 (4)
7. (美)帕特里克·赫尔利(patrick hurley)著 (3)
8. 张建军 (3)
9. 柯匹 (3)
10. 潘天群 (3)
11. 赫尔利 (3)
12. 陈波[等]译 (3)
13. (波)塔尔斯基(afred tarski)著 (2)
14. (波)塔尔斯基著 (2)
15. cohnitz, daniel, (2)
16. 刘艳艳 (2)
17. 刘艳艳等译 (2)
18. 朱梧槚 (2)
19. 林铭波 (2)
20. 格雷林 (2)
21. 显示更多..

出版日期

1. 2023 (3)
2. 2022 (2)
3. 2021 (5)
4. 2020 (3)
5. 2017 (3)
6. 2015 (2)
7. 2014 (1)
8. 2011 (2)
9. 2010 (4)
10. 2009 (1)
11. 2008 (3)
12. 2007 (2)
13. 2006 (2)
14. 2002 (1)
15. 1998 (1)
16. 1996 (1)
17. 1990 (2)
18. 1988 (1)
19. 1981 (1)
20. 1963 (1)
21. 显示更多..

文献类型

1. 图书 (53)
2. 外文图书 (4)
3. 显示更多..

语言种类

1. 汉语 (35)
2. 英语 (9)
3. 显示更多..