Kategorien: Mathematik
Logik höherer Stufe · Stufenlogik Stift-Symbol
Oberbegriffe anzeigen

Teilwort-Treffer

Kein Teilwort-Treffer

Ähnlich geschrieben

Keine ähnlichen Treffer

Wiktionary

Keine direkten Treffer
effektiv-spenden.org - bei uns geht deine Spende an Hilfsorganisationen mit der größten Wirkung

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
Quelle & Lizenz