| |
| |
آشنایی با منطق ریاضی | کتاب | اندرتون، هربرت، .Enderton, Herbert B;برادران خسروشاهی، غلامرضا;رجبی طرخورانی، محمد، ۱۳۳۱- ,برادرا... | | منطق ریاضی | مرکز نشر دانشگاهی تهران ۱۳۶۶ | | QA ۹ /الف۸۴ |
| |
منطق ریاضی چیست؟ | کتاب | کراسلی، جان، .Crossley, John N;اعتماد، شاپور، ۱۳۳۰-;برادران خسروشاهی، غلامرضا,برادران، غلامرضا;خسروش... | | منطق ریاضی | نشر روز تهران ۱۳۶۳ | | QA ۹ /ک۴ م۹ |
| |
منطق و استدلال ریاضی | کتاب | مصحفی، عبدالحسین، ۱۳۰۳-,عبدالحسین مصحفی | | منطق ریاضی | فاطمی تهران ۱۳۶۶ | | QA ۹ /م۶۳ |
| |
| |
۱۷۵ مساله منطقی | کتاب | بیزام، دی یرد، Bizam, Gyorgy;هرتسگ، یانوش، Herczeg, Janos;شهریاری، پرویز,اثر دی یرد بیزام، یانوش هرت... | | ریاضیات;منطق ریاضی | نشر نی تهران ۱۳۶۶ | | QA ۴۳ /ب۹۴ |
| |
ریاضیات و زندگی | کتاب | آگوستینی، فرانکو؛ Agostini, Franco;ارشقی، عادل,از آگوستینی فرانکو؛ ترجمه عادل ارشقی... | | ریاضیات - سرگرمی ها;منطق ریاضی | سپیده تهران ۱۳۶۷ | | QA ۹۵ /آ۷۸ |
| |
منطق و اثبات | کتاب | بیتینجر، ماروین، .Bittinger, Marvin L;یاسی پور، غلامرضا، ۱۳۲۲-,یاسین پور، غلامرضا، ۱۳۲۲-,ماروین ال. ... | | منطق ریاضی;برهان;نظریه مجموعه ها | نشر علوم پایه تهران ۱۳۷۰ | | QA ۹ /ب۹ م۸ |
| |
| |
مقدمه ای بر استدلال ریاضی | کتاب | ایگل ویتس، بوریس، Iglewicz, Boris;استویل، جودیت;یاسی پور، غلامرضا، ۱۳۲۲-,یاسین پور، غلامرضا، ۱۳۲۲-,ب... | | منطق ریاضی;ریاضیات | وزارت آموزش و پرورش، سازمان پژوهش و برنامه ری تهران ۱۳۷۰ | | QA ۹ /الف۹ م۷ |
| |
خودآموز منطق ریاضی | کتاب | هاکینگ، ایان;یاسی پور، غلامرضا، ۱۳۲۲-,هاکینگ، یان;یاسین پور، غلامرضا، ۱۳۲۲-,تالیف یان هاکینگ؛ ترجمه ... | | منطق;منطق ریاضی | پروین ۱۳۷۰ | | BC ۱۰۸ /هـ۲ خ۹ |
| |
المنطق الصوری و الریاضی | کتاب | بدوی، عبدالرحمن,عبدالرحمن بدوی, | | منطق ریاضی | وکالة المطبوعات الکویت ۱۹۶۲-۱۹۷۷ | | BC ۱۳۵ /ب۴ م۹ |
| |
مقدمه فی الممطق الرمزی | کتاب | بیسون، آ. ه، Basson, A. H;اوکونر، دانیل جان، O, connor Daniel John;دیدی، عبدالفتاح,عبدالفتاح الدیدی,... | | منطق ریاضی | دارالمعارف بمصر القاهره ۱۹۷۱ | | BC ۱۳۵ /ب۹۵ |
| |
منطق سمبلیک | کتاب | لانگر، سوزان کاترینا (کناث)، ۱۸۹۵-۱۹۸۵م.، (Langer, Susanne Katherina (Knauth;بزرگمهر، منوچهر، ۱۲۸۹-... | | منطق ریاضی | فرانکلین ۱۳۴۸ | | BC ۱۳۵ /ل۹ م۸ ۱۳۴۸ |
| |
مدخل منطق صورت | کتاب | مصاحب، غلامحسین، ۱۲۸۹-۱۳۵۸.,غلامحسین مصاحب | | منطق ریاضی | دانشگاه تهران: موسسه انتشارات و چاپ تهران ۱۳۳۴ | | BC ۱۳۵ /م۶۲ |
| |
روش تحقیق | کتاب | خواجه نوری، عباسقلی، ۱۲۹۴-۱۳۷۲.,تقریر عباسقلی خواجه نوری... | | تحقیق;منطق ریاضی | مرکز آمار ایران تهران ۱۳۴۵ | | Q ۱۸۰ /آ۱ خ۹۲ |
| |
روش تحقیق | کتاب | خواجه نوری، عباسقلی، ۱۲۹۴-۱۳۷۲.,تالیف عباسقلی خواجه نوری... | | تحقیق;منطق ریاضی | موسسه آموزش عالی آمار تهران ۱۳۵۱ | | Q ۱۸۰ /آ۱ خ۹۴ |
| |
| |
دیالکتیک ریاضی | کتاب | اقتباس غلامرضا جلالی نائینی | | منطق ریاضی | جهان کتاب تهران ۱۳۵۶ | | QA ۹ /ج۸ د۹ |
| |