Diskussion:Sortenlogik

Ausbau

Letzter Kommentar: vor 7 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

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