1. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
Author: علی اکبر پیمان
Library: Virtual Library (Digital) Alphabet (Tehran)
Subject: نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
2. ورودي به منطق رياضي
Author: نوشته ايزائيل سالامونوويچ ,ترجمه پرويز شهرياري
Library: Public Library of Falavarjan (Esfahan)
Subject: مجموعه ها-نظريه منطق صوري و رياضي
Classification :
511
3-
گ
248
و
3. ورودي به منطق رياضي , قضيه مستقيم و قضيه معکوس
Author: اسرائيل سالامونويچ گرادشتين ترجمه پرويز شهرياري,قضيه مستقيم و معکوس
Library: Public Library of Meymand (Fars)
Subject: مجموعه ها - نظريه منطق صوري و رياضي
Classification :
511
3-
گ
248
و
4. ورودي به منطق رياضي قضيه مستقيم و قضيه معکوس
Author: ايزائيل گرادشتين ترجمه پرويز شهرياري
Library: Public Library of Kharameh (Fars)
Subject: مجموعه ها - نظريه ها منطق صوري و رياضي
Classification :
511
3-
گ
248
و
5. ورودي به منطق رياضي,قضيه مستقيم و معکوس
Author: ايسرائيل سالامونويچ کرادشتين,ترجمه پرويز شهرياري
Library: Public Library of Bahr Al-Olum (Khorasan Razavi)
Subject: مجموعه نظريه منطق صوري رياضي
Classification :
511
3-
گ
248
و
6. ورودی به منطق،قضیه مستقیم وقضیه معکوس
Author: / نوشته ایزائیل سالامونوویچ گرادشتین،ترجمه پرویز شهریاری
Library: Central Library and Document Center of Arak University (Markazi)
Subject: مجموعه ها- نظریه,منطق صوری ریاضی
Classification :
۵۱۲
/
۹۰۴۲
گ
۲۴۸
و
