Diskussion:Sortenlogik
Letzter Kommentar: vor 6 Jahren von Ernsts in Abschnitt Ausbau
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)