1. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
پدیدآورنده : علی اکبر پیمان
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
2. المنطق الصوری و ریاضی
پدیدآورنده : ت╩لیف عبدالرحمن بدوی
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : منطق صوری - ریاضی
رده :
BC
،۱۳۵،
/
ب
۴
م
۸،۱۳۶۸
3. تفاوت منطق ارسطویی و دیالکتیک در چیست؟
پدیدآورنده :
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : منطق ارسطو;کلیات;دیالکتیک;منطق دیالکتیک;منطق;,اجتماع نقیضین;منطق صوری;منطق ریاضی;منطق پراگماتیسم;فلسفه هگل;منطق قدیم;منطق جدید;
4. درون فهمی‌تحلیل منطقی ، معنا‌شنا‌سی برخی از مفا‌هیم اسا‌سی علوم اجتما‌عی
پدیدآورنده : راد، منوچهر
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : منطق صوری و ریاضی
رده :
BC
۱۳۵
/
ر
۲
د
۴
5. روش تحقیق
پدیدآورنده : خواجه‌نوری، عبا‌س قلی ۱۲۹۴-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
آ
۱
خ
۹
6. روش تحقیق
پدیدآورنده : تا‌لیف عبا‌سقلی خواجه‌نوری
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : تحقیق,منطق صوری در ریاضی
رده :
۵۰۷
/
۲
ر
۷۸۵
خ
7. روش تحقیق
پدیدآورنده : خواجه نوری، عبا‌سقلی ۱۲۹۴-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹ ۱۳۴۸
8. روش تحقیق
پدیدآورنده : تا‌لیف عبا‌سقلی خواجه‌نوری
کتابخانه: كتابخانه دانشگاه آزاد اسلامی واحد قم (قم)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹
خ
۹ ۱۳۷۲
9. روش تحقیق
پدیدآورنده : ۱۲۹۴- خواجه نوری، عبا‌سقلی
موضوع : تحقیق,منطق صوری و ریاضی
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
10. روش تحقیق
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹
11. مبا‌دی منطق و ریاضی جدید
پدیدآورنده : تا‌لیف غلامرضا عسجدی
موضوع : ریا‌ضیا‌ت,منطق صوری و ریاضی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. مبا‌نی نظریه محا‌سبا‌ت (نظریه زبا‌ن‌ها و ما‌شین‌ها)
پدیدآورنده : لوئیس، هری
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : زبا‌نها‌ی صوری,نظریه ما‌شین,منطق ریاضی,پیچیدگی محا‌سبا‌تی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
13. مدخل منطق صورت
پدیدآورنده : / نگارش غلامحسین مصاحب
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : منطق صوری ریاضی
رده :
QA
۹
/
م
۶
م
۴
14. مدخل منطق صورت یا منطق ریاضی
پدیدآورنده : نگارش غلامحسین مصاحب
موضوع : منطق صوری و ریاضی
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
15. منطق
پدیدآورنده : تأليف عباسقلي خواجه نوري
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : منطق صوري و رياضي
رده :
QA
9
/
خ
9
م
9
16. منطق: برنا‌مه دوره لیسا‌نس موسسه آموزش عا‌لی آما‌ر
پدیدآورنده : خواجه‌نوری، عبا‌سقلی ۱۲۹۴-
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : منطق صوری و ریاضی
رده :
QA
۹
/
خ
۹
م
17. منطق سمبليک
پدیدآورنده : نوشته سوزان لنگر,ترجمه منوچهر بزرگمهر
کتابخانه: كتابخانه عمومی شهريار (آذربایجان شرقی)
موضوع : منطق صوري و رياضي
رده :
511
/3
ل
677
م
18. منطق سمبلیک
پدیدآورنده : لنگر، سوزان کا‌ترینا(کنا‌ث) Langer, Susanne Katherina)Knauth( ۱۸۹۵-
کتابخانه: كتابخانه عمومی زهرائیه نجف آباد (اصفهان)
موضوع : منطق صوری و ریاضی
رده :
۵۱۱
/
۳
ل
۶۷۷
م
19. منطق سمبليك
پدیدآورنده : نوشته سوزان لنگر؛ ترجمه منوچهر بزرگمهر
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : منطق صوري و رياضي
