MDLUL/Ausdrücke (Prädikatenlogik)
Erscheinungsbild
MDLUL/Ausdrücke (Prädikatenlogik) |
---|
Start=Ausdrücke (Prädikatenlogik)
Siehe=Ausdruck (Prädikatenlogik)
MDLUL/Ausdruck (Prädikatenlogik)
Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition