Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Medimops DE 39.47 EUR
39.47 EUR
22-07-2026 02:06:03
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.
