A model-theoretic approach to proof theory. (2019)
- Record Type:
- Book
- Title:
- A model-theoretic approach to proof theory. (2019)
- Main Title:
- A model-theoretic approach to proof theory
- Further Information:
- Note: Henryk Kotlarski, author.
- Authors:
- Kotlarski, Henryk
- Other Names:
- Adamowicz, Zofia
Bigorajska, Teresa
Zdanowski, Konrad - Contents:
- Chapter 1. Some combinatorics -- Chapter 2. Some model theory -- Chapter 3. Incompleteness -- Chapter 4. Transfinite induction -- Chapter 5. Satisfaction classes.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2019
- Extent:
- 1 online resource (123 pages)
- Subjects:
- 511.3/6
160
Proof theory
Proof theory
Electronic books - Languages:
- English
- ISBNs:
- 9783030289218
3030289214 - Related ISBNs:
- 9783030289201
- Notes:
- Note: Includes bibliographical references and index.
Note: Print version record. - 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.459041
- Ingest File:
- 02_599.xml