branche de la logique mathématique
သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ်ရပ်
rama de la lógica matemática que estudia las estructuras matemáticas
раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями
studfako de matematika logiko
תחום במתמטיקה
Teilgebiet der mathematischen Logik
数学の分野の一つ
Model theory
розділ математичної логіки, займається вивченням зв’язку між формальними мовами та їх інтерпретаціями
study of classes of mathematical structures from the perspective of mathematical logic
從數理邏輯的角度對數學結構的一類研究
ämnesområde inom logik
dział logiki matematycznej
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
Deelgebitt vun der Mathematescher Logik
estudo da representação matemática e inferência de sistemas lógicos mediante interpretação semântica e axiomática
모형 이론
Teori model
Modeltheorie
Théorie des modèles
Teoria dos modelos
Teoria de models
Teoria modeli
Teoria dei modelli
Modellteori
Teorie modelů
نظرية النموذج
模型论
Θεωρία μοντέλων
モデル理論
Теория моделей
Teoría de modelos
Теорія моделей
Modelltheorie
Modeloteorio