Diskussion:Sortenlogik

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 6 Jahren von Ernsts in Abschnitt Ausbau
Zur Navigation springen Zur Suche springen

Ausbau

[Quelltext bearbeiten]

Schlage vor, die wesentlichen Teile zur vielsortigen Logik aus den Artikeln Term und Signatur (Modelltheorie) hierher zu verschieben, da die genannten Artikel durch dieses Spezialthema überfrachtet erscheinen, und hier alles unter einem Hut wäre. Könnte mich gerne selbst darum kümmern, wollte aber erst noch Gelegenheit zur Stellungnahme geben. --Ernsts (Diskussion) 20:24, 8. Mär. 2018 (CET)Beantworten