登入
選單
瀏覽
書名
ISBN
索書號
其他書名
權限設定
作者
公司作者
出版社
叢書
主題
題目
語言
English
France
German
Italian
Japanese
Korean
Pali
Russian
Sanskrit
Simhala
Spanish
Thai
中文
多種語文
維吾爾文
藏文
部門
內部書庫
圖書館
位置
A/V
AV-CS
AV-LR
AV-N
AV-R
AV-RF
CL
CS
ELIB
ELR
ERC
ERD
H
JAP
LIB
LR
QLIB
QLR
QRD
RA
RB
RC
RD
RE
RES
RF
RG
RS
SER
SO
TR
cultu
文獻類型
一般書籍
地圖單張
書畫圖片
期刊雜誌
樂曲錄音
經摺裝, 貝葉裝
線裝書籍
錄影資料
電腦檔案
非樂曲錄音
課程範圍
適合
從
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
至
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
是否有電子資源?
電子資源關鍵字
上一頁
1 ~ 5 / 5
下一頁
主題 : 數理邏輯.
總數: 5
符號邏輯導論 = Understanding symboli...
Massey, Gerald J., 何秀煌 1938-
符號邏輯導論 = Understanding symboli...
作者
Massey, Gerald J.
何秀煌 1938-
分類號
156 8064
出版社
三民書局
出版年
1972.
數理邏輯及集合論
林汀
數理邏輯及集合論
作者
林汀
分類號
156 4431
出版社
上海書局
出版年
1969.
符號邏輯
Copi, Irving M. (科庇), 宋文淦
符號邏輯
作者
Copi, Irving M. (科庇)
宋文淦
分類號
156 2047
出版社
北京大學
出版年
1988.
數理邏輯發展史 = The development of m...
Nidditch, P. H. (倪里崎), 劉福增 193...
數理邏輯發展史 = The development of m...
作者
Nidditch, P. H. (倪里崎)
劉福增 1936-
分類號
156.09 8410
出版社
水牛
出版年
民58[1969]
符號邏輯入門
Basson, A.H. (柏森), 奧康諾 (O'conn...
符號邏輯入門
作者
Basson, A.H. (柏森)
奧康諾 (O'connor, D.J.)
分類號
156 1000
出版社
水牛
出版年
民70[1981]
