Proof Theory: The First Step into Impredicativity (Universitext)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Proof Theory: The First Step into Impredicativity" von Wolfram Pohlers ist ein Fachbuch, das sich mit der Beweistheorie, einem wichtigen Bereich der mathematischen Logik, befasst. Das Buch bietet eine Einführung in die grundlegenden Konzepte und Techniken der Beweistheorie und untersucht insbesondere die Rolle der Impredikativität. Impredikative Definitionen sind solche, bei denen ein Objekt durch eine Menge definiert wird, zu der es selbst gehört. Pohlers führt die Leser schrittweise in komplexere Themen ein und diskutiert deren Anwendungen sowie Implikationen für andere Bereiche der Mathematik. Das Werk richtet sich vor allem an fortgeschrittene Studierende der Mathematik und Forscher auf diesem Gebiet und bietet sowohl theoretische Einblicke als auch praktische Methoden zur Analyse mathematischer Beweise.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
![Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem (261) (Memoirs of the American Mathematical Society, 1257, Band 261)](https://d3k2uuz9r025mk.cloudfront.net/media/image/47/d7/69/1776258024_138717603718.jpg "Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem (261) (Memoirs of the American Mathematical Society, 1257, Band 261)")
