Aufgabe:
Kann jemand mir helfen, wie man in Lambda kalkül Mengen darstellen kann?Und auch Mengen von Mengen darzustellen!
Problem/Ansatz:
Klauselnmenge in lambda kalküle darstellen!logik mengen lambda
