Tous les ebooks d'Henryk Kotlarski en PDF et EPUB


1  résultat(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...

Parution : 2019-09-26
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Trends in Logic
J'achète
52,74 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés