An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
31.47 EUR
Ein kompakter Einstieg in die Beweislehre, der die Rolle von Normalisierung, Cut‑Elimination und Konsistenzbeweisen aus mathematischer Sicht erläutert und praxisnahe Beispiele liefert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Medimops DE
17-10-2025 10:33:59
Ähnliche Produkte
Selections from the Kur-án
22.28 EUR
Samji, Karim: The Qur'¿n
104.95 EUR
Al-amis al-an / fünfter sein
14.90 EUR
Beck, Daniel: Evolution of the Early Qur¿¿n
130.15 EUR
