MDLUL/Ableitungsprädikat (einstellig)
Start=Ableitungsprädikat (einstellig)
MDLUL/Ableitungsprädikat (einstellig) |
---|
Ziel=Arithmetische Ausdrucksmenge/Erlaubt Repräsentierungen/Beweiskodierung/Ableitungsprädikat/Definition
Start=Ableitungsprädikat (einstellig)
MDLUL/Ableitungsprädikat (einstellig) |
---|
Ziel=Arithmetische Ausdrucksmenge/Erlaubt Repräsentierungen/Beweiskodierung/Ableitungsprädikat/Definition