語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Proofs and types
~
Lafont, Yves
Proofs and types
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
Jean - Yves Girard
合作者:
LafontYves,
出版地:
Cambridge
出版者:
Cambridge Univ;
出版年:
1989
面頁冊數:
xi,176p25cm;
集叢名:
Cambridge tracts in theoretica
ISBN:
0521371813
Proofs and types
Jean - Yves Girard
Proofs and types
/ Jean-Yves Girard, Paul Taylor, Yves Lafont - Cambridge : Cambridge Univ, 1989. - xi,176p ; 25cm. - (Cambridge tracts in theoretica).
ISBN 0521371813
Lafont, Yves
Proofs and types
LDR
:00507cam 2200181 450
001
413058
005
20101024091700.0
010
1
$a
0521371813
$b
(hard)
100
$a
20080130d m y0engy01 b
101
0
$a
eng
102
$a
us
105
$a
a z 000zy
200
1
$a
Proofs and types
$f
Jean-Yves Girard, Paul Taylor, Yves Lafont
210
$a
Cambridge
$c
Cambridge Univ
$d
1989
215
1
$a
xi,176p
$d
25cm
225
2
$a
Cambridge tracts in theoretica
410
1
$1
2001
$a
Cambridge tracts in theoretica
676
$a
511.3
676
$a
511.3
$b
G435
700
$a
Jean - Yves Girard
$3
391954
701
$a
Lafont
$b
Yves
$3
391955
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
2 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E008702
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 G435 1989 c.2
一般使用(Normal)
在架
0
預約
E008453
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 G435 1989 c.3
一般使用(Normal)
在架
0
預約
2 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入