國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Ways of proof theory /

~

Pohlers, Wolfram.

Ways of proof theory /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Ways of proof theory // Ralf Schindler (Ed.).
其他作者:	Schindler, Ralf-Dieter.
出版者:	Frankfurt ;Ontos Verlag, : 2010.,
面頁冊數:	v, 486 p. :ill., port. ; : 22 cm.;
附註:	"Wofram Pohlers is one of the leading researchers in the proof theory of ordinal analysis. On the occasion of his retirement the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17-19, 2008"--Preface.
標題:	Proof theory. -
ISBN:	9783868380873 (cloth) :

Ways of proof theory /
Ways of proof theory /Ralf Schindler (Ed.). - Frankfurt ;Ontos Verlag,2010. - v, 486 p. :ill., port. ;22 cm. - Ontos mathematical logic ;v. 2. - Ontos mathematical logic ;v. 2..

"Wofram Pohlers is one of the leading researchers in the proof theory of ordinal analysis. On the occasion of his retirement the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17-19, 2008"--Preface.

Includes bibliographical references.

ISBN: 9783868380873 (cloth) :NT5479Subjects--Topical Terms:

579943
Proof theory.

LC Class. No.: QA9.54 / .W39 2010

Dewey Class. No.: 511.36

Ways of proof theory /
LDR:00952cam a2200217 a 4500 001 671357
005 20110629171456.0
008 110706s2010 gw ac b 010 0 eng d
020 $a 9783868380873 (cloth) : $c NT5479
020 $a 3868380876 (cloth)
035 $a (OCoLC)ocn671712186
035 $a 1466948
040 $a BTCTA $b eng $c BTCTA $d IRU
041 0 # $a eng
050 # 4 $a QA9.54 $b .W39 2010
082 0 4 $a 511.36
245 0 0 $a Ways of proof theory / $c Ralf Schindler (Ed.).
260 # $a Frankfurt ; $a New Brunswick : $c 2010. $b Ontos Verlag,
300 $a v, 486 p. : $b ill., port. ; $c 22 cm.
490 1 $a Ontos mathematical logic ; $v v. 2
500 $a "Wofram Pohlers is one of the leading researchers in the proof theory of ordinal analysis. On the occasion of his retirement the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17-19, 2008"--Preface.
504 $a Includes bibliographical references.
650 # 0 $a Proof theory. $3 579943
700 1 # $a Schindler, Ralf-Dieter. $3 773479
700 1 # $a Pohlers, Wolfram. $3 773478
830 0 $a Ontos mathematical logic ; $v v. 2. $3 773480

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E034876

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.36 W359 2010

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入