A Model-Theoretic Approach to Proof Theory Henryk Kotlarski
53,49 €
Titel: A Model-Theoretic Approach to Proof Theory, Einband: Taschenbuch, Autor: Henryk Kotlarski, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 128, Maße: 235x155x7 mm, Gewicht: 234 g, Verkäufer: buch-mimpf, Schlagworte: Arithmetized Completeness Theorem Combinatorics of Alfa Large Sets Gödel's Incompleteness Theorems Hardy Hierarchy of Functions Independence Results for Peano Arithmetic Ketonen-Solovay Largeness Notion Model Theory of Arithmetic Nonstandard Satisfaction Classes Proofs of Incompleteness Theorems Transfinite Induction in Arithmetic model theoretic ordinal combinatorics subsystems of Peano Arithmetic.
Jetzt bei Ebay:
