東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Goal-directed proof theory /

~

Olivetti, Nicola.

Linked to FindBook

Google Book

Amazon

博客來

Goal-directed proof theory /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Goal-directed proof theory // by Dov M. Gabbay and Nicola Olivetti.
Author:	Gabbay, Dov M.,
other author:	Olivetti, Nicola.
Published:	Dordrecht :Kluwer Academic, : c2000.,
Description:	x, 266 p. :ill. ;25 cm.
Series:	Applied logic series ;
Subject:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0120209

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA9.54 G33 2000

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login