
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
- 9783030289201
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2019-10-09
- Sidor
- 109