語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Goal-directed proof theory /
~
Olivetti, Nicola.
FindBook
Google Book
Amazon
博客來
Goal-directed proof theory /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Goal-directed proof theory // by Dov M. Gabbay and Nicola Olivetti.
作者:
Gabbay, Dov M.,
其他作者:
Olivetti, Nicola.
出版者:
Dordrecht :Kluwer Academic, : c2000.,
面頁冊數:
x, 266 p. :ill. ;25 cm.
叢書名:
Applied logic series ;
標題:
Proof theory. -
ISBN:
0792364732 :
Goal-directed proof theory /
Gabbay, Dov M.,1945-
Goal-directed proof theory /
by Dov M. Gabbay and Nicola Olivetti. - Dordrecht :Kluwer Academic,c2000. - x, 266 p. :ill. ;25 cm. - Applied logic series ;v. 21.
Includes bibliographical references (p. [255]-263) and index.
ISBN: 0792364732 :US125.00
LCCN: 00044401Subjects--Topical Terms:
543782
Proof theory.
LC Class. No.: QA9.54 / .G33 2000
Dewey Class. No.: 511.3
Goal-directed proof theory /
LDR
:00605pam a2200193 a 45
001
681693
005
20010722161708.2
008
010722s2000 ne a b 00110 eng
010
$a
00044401
020
$a
0792364732 :
$c
US125.00
035
$a
edw90000039
040
$a
DLC
$c
DLC
$d
DLC
$d
DH
042
$a
pcc
050
0 0
$a
QA9.54
$b
.G33 2000
082
0 0
$a
511.3
$2
21
100
$a
Gabbay, Dov M.,
$d
1945-
$3
665173
245
1 0
$a
Goal-directed proof theory /
$c
by Dov M. Gabbay and Nicola Olivetti.
260
$a
Dordrecht :
$c
c2000.
$b
Kluwer Academic,
300
$a
x, 266 p. :
$b
ill. ;
$c
25 cm.
440
0
$a
Applied logic series ;
$v
v. 21
504
$a
Includes bibliographical references (p. [255]-263) and index.
650
$a
Proof theory.
$3
543782
700
$a
Olivetti, Nicola.
$3
723206
筆 0 讀者評論
館藏地:
全部
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W0120209
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
QA9.54 G33 2000
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入