MDLUL/prädikatenlogische Sprache erster Stufe

Aus Wikiversity
MDLUL/prädikatenlogische Sprache erster Stufe

Start=prädikatenlogische Sprache erster Stufe

Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition