東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Proof theory : = history and philoso...

~

Hendricks, Vincent F.

Linked to FindBook

Google Book

Amazon

博客來

Proof theory : = history and philosophical significance /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proof theory :/ edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jorgensen.
Reminder of title:	history and philosophical significance /
other author:	Hendricks, Vincent F.
Published:	Dordrecht :Kluwer Academic, : c2000.,
Description:	xii, 244 p. ;25 cm.
Notes:	Papers presented at a conference held at the University of Roskilde, Denmark, Oct. 31-Nov. 1, 1997.
Series:	Synthese library ;
Subject:	Proof theory - Congresses. -
ISBN:	0792365445 :

Proof theory : = history and philosophical significance /
Proof theory :history and philosophical significance /edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jorgensen. - Dordrecht :Kluwer Academic,c2000. - xii, 244 p. ;25 cm. - Synthese library ;v. 292.

Papers presented at a conference held at the University of Roskilde, Denmark, Oct. 31-Nov. 1, 1997.

Includes bibliographical references and index.

ISBN: 0792365445 :US108.00

LCCN: 00058710Subjects--Topical Terms:

723210
Proof theory
--Congresses.

LC Class. No.: QA9.54 / .P78 2000

Dewey Class. No.: 511.3

Proof theory : = history and philosophical significance /
LDR:00742nam a2200193 a 45 001 681694
005 20010722162307.0
008 010722s2000 ne b 10100 eng
010 $a 00058710
020 $a 0792365445 : $c US108.00
035 $a edw90000040
040 $a DLC $c DLC $d DH
050 0 0 $a QA9.54 $b .P78 2000
082 0 0 $a 511.3 $2 21
245 0 0 $a Proof theory : $b history and philosophical significance / $c edited by Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jorgensen.
260 $a Dordrecht : $c c2000. $b Kluwer Academic,
300 $a xii, 244 p. ; $c 25 cm.
440 0 $a Synthese library ; $v v. 292
500 $a Papers presented at a conference held at the University of Roskilde, Denmark, Oct. 31-Nov. 1, 1997.
504 $a Includes bibliographical references and index.
650 $a Proof theory $x Congresses. $3 723210
700 $a Hendricks, Vincent F. $3 723207
700 $a Jorgensen, Klaus Frovin. $3 723208
700 $a Pedersen, Stig Andur, $d 1943- $3 723209

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0120210

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

01.外借(書)_YB

一般圖書

QA9.54 P78 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