BSTS / Mantık Terimleri Sözlüğü
çok çeşitli dil anlamı İng. many-sorted language Alm. mehrsortige Sprache Fr. langue à plusieurs sortes
Birden çok sayıda değişken çeşidi olan biçimsel bir dil || Örn. Ad, önerme, yüklem, işlev simgeleri gibi birden çok sayıda değişken çeşidi olan bir dizimsel sözeden dil, çok çeşitli bir dildir.