proof theory
نظریه برهان
semantic of first order logic
معنا شناسی منطق مرتبه اول
تابع ارزش
truth funtion
معنا شناسی منطق مرتبه دوم
semantic of second order logic
نظریه مدل
model theory
سازگاری
consistency
نظریه بازی
game theory
قضیه درستی
soundness theorem
Kripke model
مدل کریپکی
منطق عمومی
general logic
semantic
معنا شناسی