語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Algebra of proofs
~
Szabo, M. E.
Algebra of proofs
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Algebra of proofs/ M. E. Szabo.
作者:
Szabo, M. E.
出版者:
Amsterdam ;North-Holland Pub. Co. : : 1978.,
面頁冊數:
xii, 297 p. ;23 cm.;
附註:
Includes indexes.
標題:
Proof theory. -
電子資源:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780720422863 (electronic bk.)
Algebra of proofs
Szabo, M. E.
Algebra of proofs
[electronic resource] /M. E. Szabo. - Amsterdam ;North-Holland Pub. Co. :1978. - xii, 297 p. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 88 .
Includes indexes.
Bibliography: p. 278-284.
ISBN: 9780720422863 (electronic bk.)
LCCN: 77000706Subjects--Topical Terms:
579943
Proof theory.
LC Class. No.: QA9.54 / .S94 1978
Dewey Class. No.: 511/.3
Algebra of proofs
LDR
:00836nam a2200229 a 4500
001
807168
005
20130328094803.0
008
150720s1978 ne sb 001 0 eng
010
$a
77000706
020
$a
9780720422863 (electronic bk.)
020
$a
9780720422863
035
$a
13000121
040
$a
DLC
$c
DLC
$d
CWR
041
0
$a
eng
050
0 0
$a
QA9.54
$b
.S94 1978
082
0 0
$a
511/.3
$2
18
100
1
$a
Szabo, M. E.
$3
901861
245
1 0
$a
Algebra of proofs
$h
[electronic resource] /
$c
M. E. Szabo.
260
$a
Amsterdam ;
$a
New York :
$b
North-Holland Pub. Co. :
$a
New York :
$b
sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
$c
1978.
300
$a
xii, 297 p. ;
$c
23 cm.
490
0
$a
Studies in logic and the foundations of mathematics ;
$v
v. 88
500
$a
Includes indexes.
504
$a
Bibliography: p. 278-284.
650
0
$a
Proof theory.
$3
579943
650
0
$a
Categories (Mathematics)
$3
580337
650
0
$a
Combinatory logic.
$3
901862
856
4 0
$u
http://www.sciencedirect.com/science/book/9780720422863
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入