---

Teilwort-Treffer

Kein Teilwort-Treffer

Ähnlich geschrieben

Keine ähnlichen Treffer

Wiktionary

Keine direkten Treffer

---

Wikipedia-Links

Prädikatenlogik erster Stufe · Lambda-Kalkül · Alonzo Church · Logik · Alfred North Whitehead · Bertrand Russell · Leon Henkin · Peter Andrews (Mathematiker) · Typtheorie · Per Martin-Löf · Jean-Yves Girard · Beweistheorie · Gérard Huet · Robert Harper (Informatiker) · Furio Honsell

---

---