Zum Inhalt springen

MDLUL/ableitbar (Prädikatenkalkül)

Aus Wikiversity
MDLUL/ableitbar (Prädikatenkalkül)

Start=ableitbar (Prädikatenkalkül)

Ziel=Prädikatenkalkül/Ableitbar/Definition