Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Ordinal Analysis with an Introductio...
~
SpringerLink (Online service)
Ordinal Analysis with an Introduction to Proof Theory
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Ordinal Analysis with an Introduction to Proof Theory/ by Toshiyasu Arai.
Author:
Arai, Toshiyasu.
Description:
XVI, 313 p. 20 illus.online resource. :
Contained By:
Springer Nature eBook
Subject:
Logic. -
Online resource:
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:
558909
Logic.
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
0
$a
Logic.
$3
558909
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
670059
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)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login