語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Complexity of proofs and their trans...
~
Louvish, David.
FindBook
Google Book
Amazon
博客來
Complexity of proofs and their transformations in axiomatic theories /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Complexity of proofs and their transformations in axiomatic theories // V.P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish.
作者:
Orevkov, V. P.
其他作者:
Louvish, David.
出版者:
Providence, R.I. :American Mathematical Society, : c1993.,
面頁冊數:
vi, 153 p. ;27 cm.
叢書名:
Translations of mathematical monographs ;
標題:
Proof theory. -
ISBN:
0821845764 :
Complexity of proofs and their transformations in axiomatic theories /
Orevkov, V. P.
Complexity of proofs and their transformations in axiomatic theories /
V.P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. - Providence, R.I. :American Mathematical Society,c1993. - vi, 153 p. ;27 cm. - Translations of mathematical monographs ;v. 128.
Includes bibliographical references (p. 151-153).
ISBN: 0821845764 :US86.00
LCCN: 93011139Subjects--Topical Terms:
543782
Proof theory.
LC Class. No.: QA9.54 / .O7413 1993
Dewey Class. No.: 511.3
Complexity of proofs and their transformations in axiomatic theories /
LDR
:00866pam a2200217 a 45
001
676197
003
DLC
005
20000314133452.2
008
000215s1993 riu b 000 0 eng
010
$a
93011139
020
$a
0821845764 :
$c
US86.00
035
$a
as 00890193
040
$a
DLC
$c
DLC
$d
DLC
$d
DH
041
1
$a
eng
$h
rus
050
0 0
$a
QA9.54
$b
.O7413 1993
082
0 0
$a
511.3
$2
20
100
$a
Orevkov, V. P.
$3
713439
240
1 0
$a
Slozhnost' dokazatel'stv i ikh preobrazovanii v aksiomatizirovannykh teoriiakh.
$l
English
245
1 0
$a
Complexity of proofs and their transformations in axiomatic theories /
$c
V.P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish.
260
$a
Providence, R.I. :
$c
c1993.
$b
American Mathematical Society,
300
$a
vi, 153 p. ;
$c
27 cm.
440
0
$a
Translations of mathematical monographs ;
$v
v. 128
504
$a
Includes bibliographical references (p. 151-153).
650
$a
Proof theory.
$3
543782
700
$a
Louvish, David.
$3
713438
筆 0 讀者評論
館藏地:
全部
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W0043063
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
QA1 T772 v.128
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入