2 résultat(s)
Télécharger le livre : A Model–Theoretic Approach to Proof Theory
Zofia Adamowicz , Teresa Bigorajska , Henryk Kotlarski , Konrad Zdanowski
A Model–Theoretic Approach to Proof Theory
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
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logic of Mathematics
Zofia Adamowicz , Pawel Zbierski
Logic of Mathematics
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model...
Editeur : Wiley-Interscience
Parution : 2011-09-26
Collection : Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
Format(s) : PDF
195,12 €
Téléchargement immédiat
Dès validation de votre commande