Diskussion:Sortenlogik
aus Wikipedia, der freien Enzyklopädie
Ausbau
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)