"estudo da representação matemática e inferência de sistemas lógicos mediante interpretação semântica e axiomática"@pt
"rama de la lógica matemática que estudia las estructuras matemáticas"@es
"studfako de matematika logiko"@eo
"studi tentang hubungan antara teori formal (kumpulan kalimat dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut"@id
"study of classes of mathematical structures from the perspective of mathematical logic"@en
"àrea de la lògica matemàtica"@ca
"ämnesområde inom logik"@sv
"раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями"@ru
"розділ математичної логіки, займається вивченням зв’язку між формальними мовами та їх інтерпретаціями"@uk