964-7589-30-1;
CLFB0285539
احمدی، علیاکبر، ۱۳۴۱-
تحلیلی بر نظریه صدق تارسکی
تبریز
دانشگاه تبریز، موسسه تحقیقاتی علوم اسلامی - انسانی
۱۳۸۲
۱۹۶ ص
کتابنامه: ص. ۱۹۲-۱۹۳
علیاکبر احمدی
منطق ریاضی
۱۶۰
BC
۱۳۵
/
الف
۳
ت
۳
پدید آورنده
تارسکی، آلفرد، ۱۹۰۲- م.، derflA ,iksraT
پدیدآورنده
عنوان
Tarski, Alfred
مر
