
A Model–Theoretic Approach to Proof Theory
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.
- Författare
- Henryk Kotlarski
- Redaktör
- Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
- Upplaga
- 2019 ed.
- ISBN
- 9783030289232
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2020-10-09
- Sidor
- 109
