Gå direkte til innholdet
A Model–Theoretic Approach to Proof Theory
Spar

A Model–Theoretic Approach to Proof Theory

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

Opplag
2019 ed.
ISBN
9783030289232
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.10.2020
Antall sider
109