Ebooks de Konrad Zdanowski en PDF et EPUB

1 Livre(s)
Télécharger le livre : A Model–Theoretic Approach to Proof Theory
Ajouter à ma liste d'envies
A Model–Theoretic Approach to Proof Theory
Zofia Adamowicz , Teresa Bigorajska , Henryk Kotlarski , Konrad Zdanowski
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total...

Editeur : Springer
Parution : 2019-09-26
Collection : Trends in Logic
PDF, ePub

52,74 €