國立虎尾科技大學 |

登入

回首頁

Ordinal Analysis with an Introductio...

SpringerLink (Online service)

Ordinal Analysis with an Introduction to Proof Theory

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Ordinal Analysis with an Introduction to Proof Theory/ by Toshiyasu Arai.
作者:	Arai, Toshiyasu.
面頁冊數:	XVI, 313 p. 20 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Formal Languages. -
電子資源:	https://doi.org/10.1007/978-981-15-6459-8
ISBN:	9789811564598

Ordinal Analysis with an Introduction to Proof Theory
Arai, Toshiyasu.

Ordinal Analysis with an Introduction to Proof Theory[electronic resource] /by Toshiyasu Arai. - 1st ed. 2020. - XVI, 313 p. 20 illus.online resource. - Logic in Asia: Studia Logica Library,2364-4613. - Logic in Asia: Studia Logica Library,.

Introduction -- Calculi for classical logic -- Cut-elimination in depth -- Epsilon numbers -- Iterations -- Collapsings.

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones. Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.

ISBN: 9789811564598

Standard No.: 10.1007/978-981-15-6459-8doiSubjects--Topical Terms:

670059
Mathematical Logic and Formal Languages.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Ordinal Analysis with an Introduction to Proof Theory
LDR:02181nam a22004095i 4500 001 1022122
003 DE-He213
005 20200811053557.0
007 cr nn 008mamaa
008 210318s2020 si | s |||| 0|eng d
020 $a 9789811564598 $9 978-981-15-6459-8
024 7 $a 10.1007/978-981-15-6459-8 $2 doi
035 $a 978-981-15-6459-8
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
100 1 $a Arai, Toshiyasu. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1317805
245 1 0 $a Ordinal Analysis with an Introduction to Proof Theory $h [electronic resource] / $c by Toshiyasu Arai.
250 $a 1st ed. 2020.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2020.
300 $a XVI, 313 p. 20 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Logic in Asia: Studia Logica Library, $x 2364-4613
505 0 $a Introduction -- Calculi for classical logic -- Cut-elimination in depth -- Epsilon numbers -- Iterations -- Collapsings.
520 $a This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones. Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Logic. $3 558909
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811564581
776 0 8 $i Printed edition: $z 9789811564604
776 0 8 $i Printed edition: $z 9789811564611
830 0 $a Logic in Asia: Studia Logica Library, $x 2364-4613 $3 1261685
856 4 0 $u https://doi.org/10.1007/978-981-15-6459-8
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別