Zum Inhalt springen

Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition/Begriff