MDLUL/prädikatenlogische Sprache

Start=prädikatenlogische Sprache

MDLUL/prädikatenlogische Sprache

Ziel=Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition