pred=\n.\f.\x.n(\g.\h.h(gf))(\u.x)(\u.u)

External Content not shown. Further Information.

Deutsch:

English:

Mathematics and Computer Science:

Comics/Images/Audios/Videos:

Quotes: