Zum Inhalt springen

Entscheidungsverfahren/Unterklasse/Aufgabe

Aus Wikiversity

Kann es ein Entscheidungsverfahren für mathematisch relevante Untertheorien geben?