
A Model–Theoretic Approach to Proof Theory
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.
- Forfatter
- Henryk Kotlarski
- Redaktør
- Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
- Opplag
- 2019 ed.
- ISBN
- 9783030289232
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.10.2020
- Antall sider
- 109
