MDLUL/prädikatenlogischer Ausdruck
Start=prädikatenlogischer Ausdruck
MDLUL/prädikatenlogischer Ausdruck |
---|
Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition
Start=prädikatenlogischer Ausdruck
MDLUL/prädikatenlogischer Ausdruck |
---|
Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition