
A Model–Theoretic Approach to Proof Theory
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.
- Kirjailija
- Henryk Kotlarski
- Toimittaja
- Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
- Painos
- 2019 ed.
- ISBN
- 9783030289201
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 9.10.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 109