Startseite > Bücher > Bücher nach Sprache > englischsprachige Literatur > Philosophiebücher - englischsprachig > Artikel

A Model-Theoretic Approach to Proof Theory

Menge:

Stück

Produktinformationen

Artikel-Nr.:
5667A-9783030289232

Hersteller:
Springer Verlag

Herst.-Nr.:
9783030289232

EAN/GTIN:
9783030289232

Suchbegriffe:

Philosophie-Bücher
Philosophiebücher
Philosophiebücher - englischsprachi...
philosophie bücher

Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.

Weitere Informationen:


Author:	Henryk Kotlarski; Zofia Adamowicz; Teresa Bigorajska; Konrad Zdanowski
Verlag:	Springer International Publishing
Sprache:	eng

... > Geisteswissenschaften, Kunst, Musik > Philosophie > Allgemeines, Lexika

Weitere Suchbegriffe: Gödel's Incompleteness Theorems, Model Theory of Arithmetic, Nonstandard Satisfaction Classes, Proofs of Incompleteness Theorems, Combinatorics of Alfa Large Sets, Ketonen-Solovay Largeness Notion, Independence Results for Peano Arithmetic, Arithmetized Completeness Theorem, Transfinite Induction in Arithmetic, Hardy Hierarchy of Functions, model theoretic

Die Konditionen im Überblick¹

Lieferzeit

Lagerstand

Preis

€ 49,99*

Konditionen selbst auswählen