عنوان
پدید آورنده
موضوع
رده
511 /3 الف349 پ
511
/3
الف
349
پ
کتابخانه
محل استقرار
ادیب سلطانی ،میرشمس الدین ،1310 -
پژوهشی در پیرامون مسئله ی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
تهران،امیرکبیر
1373
xix،652ص
امیرکبیر? 6 - 73085 - 1b
واژه نامه .
کتابنامه : ص . 603 - 608.
،منطق ریاضی،
،گودل ? قضیه،
511
/3
الف
349
پ
نوشته میرشمس الدین ادیب سلطانی
