語系:
繁體中文
English
簡体中文
說明(常見問題)
登入
網路辦證
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Handbook of proof theory
紀錄類型:
書目-電子資源 : 單行本
其他作者:
BussSamuel R.,
出版地:
New York
出版者:
Elsevier;
出版年:
1998.
面頁冊數:
811 p.23 cm.;
集叢名:
Studies in logic and the foundations of mathematics
標題:
Proof theory. -
電子資源:
http://www.sciencedirect.com/science/book/9780444898401
ISBN:
9780444898401electronic bk.
ISBN:
9780444898401
Handbook of proof theory
Handbook of proof theory
/ edited by Samuel R. Buss. - New York : Elsevier, 1998.. - 811 p. ; 23 cm.. - (Studies in logic and the foundations of mathematics ; v. 137).
Includes bibliographical references and indexes..
ISBN 9780444898401ISBN 9780444898401
Proof theory.
Buss, Samuel R.
Handbook of proof theory
LDR
:00827clm a2200277 45
001
303378
005
20130411105032.0
009
13001668
010
1
$a
9780444898401
$b
electronic bk.
010
1
$a
9780444898401
020
$b
98018922
100
$a
20150126d1998 u y0engy50 b
101
0
$a
eng
102
$a
us
105
$a
y a 001yy
135
$a
v
200
0
$a
Handbook of proof theory
$f
edited by Samuel R. Buss.
204
1
$a
electronic resource
210
$a
New York
$d
1998.
$c
Elsevier
215
1
$a
811 p.
$d
23 cm.
225
2
$a
Studies in logic and the foundations of mathematics
$v
v. 137
320
$a
Includes bibliographical references and indexes.
606
$a
Proof theory.
$3
214006
676
$a
511.3
$v
21
680
$a
QA9.54
$b
.H35 1998
702
1
$a
Buss
$b
Samuel R.
$3
143814
801
0
$
atw
$c
20141127
801
1
$
atw
$c
20141127
856
7
$2
http
$u
http://www.sciencedirect.com/science/book/9780444898401
筆 0 讀者評論
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入