A Model-Theoretic Approach to Proof Theory Henryk Kotlarski
53,49 €
Titel: A Model-Theoretic Approach to Proof Theory, Einband: Buch, Autor: Henryk Kotlarski, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 128, Maße: 241x160x13 mm, Gewicht: 389 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:
