Ordinal Analysis with an Introduction to Proof Theory. (2020)
- Record Type:
- Book
- Title:
- Ordinal Analysis with an Introduction to Proof Theory. (2020)
- Main Title:
- Ordinal Analysis with an Introduction to Proof Theory
- Further Information:
- Note: Toshiyasu Arai.
- Authors:
- Arai, Toshiyasu
- Contents:
- Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
- Publisher Details:
- Singapore : Springer
- Publication Date:
- 2020
- Copyright Date:
- 2020
- Extent:
- 1 online resource (313 pages)
- Subjects:
- Philosophy
Logic
Mathematical logic
Mathematics -- Logic
Mathematical theory of computation
Philosophy -- Logic
Philosophy: logic - Languages:
- English
- ISBNs:
- 9789811564598
- Related ISBNs:
- 9789811564581
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.535808
- Ingest File:
- 03_139.xml