MDLUL/prädikatenlogische Sprache
Start=prädikatenlogische Sprache
MDLUL/prädikatenlogische Sprache |
---|
Ziel=Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition
Start=prädikatenlogische Sprache
MDLUL/prädikatenlogische Sprache |
---|
Ziel=Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition