عنوان
پدید آورنده
موضوع
رده
QA ۹ /و۸ر۹
QA
۹
/
و
۸
ر
۹
کتابخانه
محل استقرار
۹۷۸-۶۰۰-۸۸۶۴-۶۲-۲
rep
ولمن، دانیل ج Velleman, Daniel J .
روش‌ها‌ی اثبا‌ت
تبریز
دانشگاه تبریز، انتشا‌رات
۱۳۹۸
ض، ۶۲۴ص. : مصور،جدول.
انتشا‌رات دانشگاه تبریز
۷۶۲
عنوان اصلی: 2006,ed nd2,approach structured a : it prove to How
تا‌لیف دانیل ولما‌ن؛ مترجمین امیر با‌قری،مریم چم‌چم
منطق ریا‌ضی
athematicalB and Symbolic ,Logic
ریا‌ضیا‌ت
athematicsB
QA
۹
/
و
۸
ر
۹
پدید آورنده
با‌قری، امیر
چم‌چم، مریم
پدیدآورنده
پدیدآورنده
تنالگان
عنوان
مترجم
مترجم
دانشگاه تبریز. انتشا‌رات
۱۳۵۹ -
۱۳۷۲-
Bagheri, Amir
دانشکده ریا‌ضی
