語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Proof theory
~
Takeuti, Gaisi, (1926-)
Proof theory
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Proof theory/ Gaisi Takeuti.
作者:
Takeuti, Gaisi,
出版者:
Amsterdam :North-Holland Pub. Co. ; : 1975.,
面頁冊數:
vii, 372 p. ;23 cm.;
附註:
Includes index.
標題:
Proof theory. -
電子資源:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780444104922 (electronic bk.)
Proof theory
Takeuti, Gaisi,1926-
Proof theory
[electronic resource] /Gaisi Takeuti. - Amsterdam :North-Holland Pub. Co. ;1975. - vii, 372 p. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 81.
Includes index.
ISBN: 9780444104922 (electronic bk.)
LCCN: 75023164 Subjects--Topical Terms:
579943
Proof theory.
LC Class. No.: QA9.54 / .T34 1975
Dewey Class. No.: 511/.3
Proof theory
LDR
:00773cam a2200217 i 45
001
809324
005
20130417101551.0
008
150720s1975 ne s 00110 eng
010
$a
75023164
020
$a
9780444104922 (electronic bk.)
020
$a
9780444104922
035
$a
13003133
040
$a
DLC
$c
DLC
$d
DLC
041
0
$a
eng
050
0
$a
QA9.54
$b
.T34 1975
082
$a
511/.3
100
1
$a
Takeuti, Gaisi,
$d
1926-
$3
907552
245
1 0
$a
Proof theory
$h
[electronic resource] /
$c
Gaisi Takeuti.
260
$a
Amsterdam :
$b
North-Holland Pub. Co. ;
$a
New York :
$b
American Elsevier Pub. Co.,
$c
1975.
300
$a
vii, 372 p. ;
$c
23 cm.
490
0
$a
Studies in logic and the foundations of mathematics ;
$v
v. 81
500
$a
Includes index.
650
0
$a
Proof theory.
$3
579943
856
4 0
$u
http://www.sciencedirect.com/science/book/9780444104922
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login