Ein kompakter Leitfaden zur Beweislehre, der die Struktur von Normalisierungsalgorithmen, Cut‑Elimination und Konsistenzbeweisen detailliert erklärt, mit anschaulichen Beispielen für Studierende fortgeschrittener Logik.