語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
到查詢結果
[ subject:"Logic, Symbolic and mathematical." ]
切換:
標籤
|
MARC模式
|
ISBD
Mathematical logic for computer scie...
~
Ben-Ari, M., (1948-)
Mathematical logic for computer science /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Mathematical logic for computer science /Mordechai Ben-Ari.
作者:
Ben-Ari, M.,
出版者:
London ;Springer,2001.
面頁冊數:
xiv, 304 p. :ill. ;24 cm.
標題:
Logic, Symbolic and mathematical.
ISBN:
1852333197 (pbk. : alk. paper) :
Mathematical logic for computer science /
Ben-Ari, M.,1948-
Mathematical logic for computer science /
Mordechai Ben-Ari. - 2nd ed. - London ;Springer,2001. - xiv, 304 p. :ill. ;24 cm.
Includes bibliographical references (p. [293]-295) and index.
ISBN: 1852333197 (pbk. : alk. paper) :NT$1262
LCCN: 00066113 Subjects--Topical Terms:
180452
Logic, Symbolic and mathematical.
LC Class. No.: QA9 / .B3955 2001
Dewey Class. No.: 511.3
Mathematical logic for computer science /
LDR
:00579nam 2200181 a 450
001
150054
005
20000219170709.0
008
090528s2001 enka b 001 0 eng
010
$a
00066113
020
$a
1852333197 (pbk. : alk. paper) :
$c
NT$1262
035
$a
00044600
040
$a
DLC
$c
DLC
$d
DLC
050
0 0
$a
QA9
$b
.B3955 2001
082
0 0
$2
21
$a
511.3
100
$a
Ben-Ari, M.,
$d
1948-
$3
200464
245
1 0
$a
Mathematical logic for computer science /
$c
Mordechai Ben-Ari.
250
$a
2nd ed.
260
$a
London ;
$a
New York :
$c
2001.
$b
Springer,
300
$a
xiv, 304 p. :
$b
ill. ;
$c
24 cm.
504
$a
Includes bibliographical references (p. [293]-295) and index.
650
$a
Logic, Symbolic and mathematical.
$3
180452
筆 0 讀者評論
全部
西方語文圖書區(四樓)
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
320000117947
西方語文圖書區(四樓)
1圖書
一般圖書
QA9 B456 2001
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入