Model–theoretic approach to proof theory, a
Auteur :
Kotlarski, Henryk
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030289232
Date de publication :
9 oct. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.