نظریه گراف
graph theory
l-theory
نظریه ال
definition
تعریف
مدل‌های حساب
models of arithmetic
algebraic logic
منطق جبری
first order theory
نظریه مرتبه اول
classical first order logic
منطق کلاسیک مرتبه اول
classical logic
منطق کلاسیک
semantic
معنا شناسی
intuitionistic logic
منطق شهودگرایانه
weak compactness theorem
قضیه فشردگی ضعیف
model theory of set theory
نظریه مدل نظریه مجموعه‌ها
نظریه مجموعه‌ها
set theory
ساختار
structure
classification theory
نظریه رده‌بندی
نظریه مدل
model theory
بررسی کلی و کیفی ساختارهای ریاضی.
منطق ریاضی
mathematical logic
completeness theorem
قضیه تمامیت
نظریه اعداد
number theory
هندسه جبری
algebraic geometry