Antworte auf "Natural Deduction Calculus: alternative Or-Elimination herleiten"
Verwerfen
Verfassen Vorschau zeigen