عنوان
پدید آورنده
موضوع
رده
BC ۱۳۵ /الف۳ ن۶ ۱۳۹۷
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
کتابخانه
محل استقرار
۹۷۸-۹۶۴-۶۶۸۸-۳۱-۵
F78388
فارسی
احمدی، علیاکبر، ۱۳۴۱ -
نظریهی صدق تارسکی
تهران
نقش جهان
۱۳۹۷
۲۱۶ ص.: نمودار
کتابنامه
نمایه
۴۹۸۳۱۸۷
علیاکبر احمدی افرمجانی
منطق ریاضی
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
پدید آورنده
تارسکی، آلفرد،، ۱۹۰۲ - م.
پدیدآورنده
عنوان
رقعی
