Entscheidungsverfahren/Unterklasse/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Kann es ein Entscheidungsverfahren für mathematisch relevante Untertheorien geben?
Eine Lösung erstellen