語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Mathematical logic for computer science
~
Ben-Ari, M. (1948-)
Mathematical logic for computer science
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
Ben-AriM., 1948-
出版地:
LondonNew York
出版者:
Springer;
出版年:
c2001.
版本:
2nd ed.
面頁冊數:
xiv, 304 p.ill. : 24 cm.;
標題:
Logic, Symbolic and mathematical. -
ISBN:
1-85233-319-7
Mathematical logic for computer science
Ben-Ari, M.
Mathematical logic for computer science
= : / Mordechai Ben-Ari. ; - 2nd ed.. - LondonNew York : Springer, c2001.. - xiv, 304 p. ; ill. ; 24 cm..
Includes bibliographical references (p. [293]-295) and indexes..
ISBN 1-85233-319-7
Logic, Symbolic and mathematical.
Mathematical logic for computer science
LDR
:00602cam2 2200205 050
001
121334
005
20100520153253.0
009
00161060
010
$a
1-85233-319-7
$b
pbk.
100
$a
20100529d2001 k y0engy08 b
101
0
$a
eng
102
$a
gb
105
$a
a z 000yy
200
$a
Mathematical logic for computer science
$f
Mordechai Ben-Ari.
$d
$e
$g
205
$a
2nd ed.
210
$a
LondonNew York
$a
New York
$c
Springer
$d
c2001.
215
$a
xiv, 304 p.
$c
ill.
$d
24 cm.
320
$a
Includes bibliographical references (p. [293]-295) and indexes.
606
$a
Logic, Symbolic and mathematical.
$2
lc
$3
32408
676
$a
511.3
$v
21
680
$a
QA9
$b
.B456 2001
700
$a
Ben-Ari
$b
M.
$f
1948-
$3
123999
801
0
$a
tw
$c
20040422
$g
CCR
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
B2密集書庫3
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
2 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
176931
B2密集書庫3
圖書流通(BOOK_CIR)
BOOK
511.3QA9/.B456 2001
一般使用(Normal)
書架上
0
六樓西文區
176932
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
511.3QA9/.B456 2001 c.1
一般使用(Normal)
書架上
0
B2密集二
2 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入