61. فلسفه رياضيات
پدیدآورنده : دامت، مايكل ا. اي.
کتابخانه: کتابخانه عمومی حسینیه ارشاد (تهران)
موضوع : رياضيات - فلسفه ◄ منطق رياضي
رده :
510
/1
د
228
ف
62. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده [صحیح = ویراستار] س.ج. شنکر مترجم ابوالفضل حقیری
کتابخانه: کتابخانه مدرسه علمیه عالی نواب (خراسان رضوی)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴
/
۸
/
ش
۸،
ف
۸ ۱۳۹۲
63. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : ویراستار استوارت جی. شنکر
کتابخانه: كتابخانه امام صادق (ع) (حوزه علميه) (قزوین)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴،
/
۸
/
ف
۸ ۱۳۹۲
64. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده ]صحیح = ویراستار[ س.ج. شنکر؛ مترجم ابوالفضل حقیری
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م.,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م.
رده :
Q
۱۷۴
/
۸
/
ف
۸ ۱۳۹۲
65. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده ]صحیح = ویراستار[ س.ج. شنکرمترجم ابوالفضل حقیری
کتابخانه: كتابخانه تخصصی پژوهشگاه علوم و فرهنگ اسلام (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : قرن ۲۰م علوم -- فلسفه -- تاریخ,قرن ۲۰م منطق -- تاریخ,قرن ۲۰م ریاضیات -- فلسفه -- تاریخ,قرن ۲۰م فلسفه و علم -- تاریخ,قرن ۲۰م فلسفه جدید
رده :
Q
۱۷۴
/
۸
/
ف
۸ ۱۳۹۲
66. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده :
موضوع : علوم - فلسفه - تاریخ - قرن ۲۰م.,منطق - تاریخ - قرن ۲۰م,ریاضیات - فلسفه - تاریخ - قرن ۲۰م,فلسفه و علم - تاریخ - قرن ۲۰م,فلسفه جدید - قرن ۲۰م.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
67. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : / نویسنده [صحیح = ویراستار] س.ج. شنکر,عنوان اصلی به زبان اصلی: Philosophy of science, logic, and mathematics in the twentieth century , 1996.
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴
/
۸
/
ف
۸ ۱۳۹۲
68. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده ]&صحیح = ویراستار[اس.ج. شنکر
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
69. مبانی فلسفی منطق شهودی
پدیدآورنده : نبوی لطف اله, حجتی سیدمحمدعلی, علایی نژاد حمید
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : اصل طرد شق ثالث;براوئر;منطق شهودی;ساخت گرایی براوئری;شهود گرایی;
70. مدخل منطق صورت ، یا، منطق ریاضی
پدیدآورنده : مصا‌حب، غلامحسین، ۱۲۸۹- ۱۳۵۸
کتابخانه: كتابخانه مركز پژوهشی دائرة المعارف علوم عقلی اسلامى (قم)
موضوع : منطق ریاضی,قرن ۲۰م. منطق,منطق,ریاضیات - فلسفه
71. مفهوم نگاشت : يک زبان فرمولي انديشه محض ساخته شده بر اساس الگوي زبان فرمولي علم حساب به ضميمه شرحي از آنتوني کني
پدیدآورنده : /گوتلوب فرگه,فرگه، گوتلوب، ۱۸۴۸ - ۱۹۲۵ م.,Frege, Gottlob
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع : رياضيات - فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
72. مفهوم نگاشت یک زبان فرمولی اندیشه محض ساخته شده بر اساس الگوی زبان فرمولی علم حساب به ضمیمه شرحی از آنتونی کنی
پدیدآورنده : گوتلوب فرگه
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع : ریاضیات^aفلسفه,منطق ریاضی
رده :
QA
۹
/
ف
۴،
م
۷
73. مفهوم نگاشت: یک زبان فرمولی اندیشه محض سا‌خته‌شده براسا‌س الگوی زبان فرمولی علم حساب
پدیدآورنده : فرگه، گوتلوب، ۱۸۴۸ - ۱۹۲۵م.
کتابخانه: كتابخانه عمومی آيت الله حائری (فيضيه) (قم)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ف
۴
م
۷
74. مفهومنگاشت
پدیدآورنده : / گوتلوب فرگه,عنوان اصلي: 1879 Begriffsschrift: eine der arithmetischen nachgebildete formelsprache des reinen denkens, c,فرگه,Frege
کتابخانه: کتابخانه امام رضا علیه السلام "گناباد" (آستان قدس رضوی) (خراسان رضوی)
موضوع : رياضيات -- فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
75. مفهومنگاشت
پدیدآورنده : / گوتلوب فرگه,عنوان اصلي: 1879 Begriffsschrift: eine der arithmetischen nachgebildete formelsprache des reinen denkens, c,فرگه,Frege
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - گردش و امانت آقايان (خراسان رضوی)
موضوع : رياضيات -- فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
76. مفهومنگاشت
پدیدآورنده : / گوتلوب فرگه,عنوان اصلي: 1879 Begriffsschrift: eine der arithmetischen nachgebildete formelsprache des reinen denkens, c,فرگه,Frege
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : رياضيات -- فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
77. مفهومنگاشت
پدیدآورنده : / گوتلوب فرگه,عنوان اصلي: 1879 Begriffsschrift: eine der arithmetischen nachgebildete formelsprache des reinen denkens, c,فرگه,Frege
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - گردش و امانت بانوان (خراسان رضوی)
موضوع : رياضيات -- فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
78. مفهومنگاشت
پدیدآورنده : / گوتلوب فرگه,عنوان اصلي: 1879 Begriffsschrift: eine der arithmetischen nachgebildete formelsprache des reinen denkens, c,فرگه,Frege
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار قفسه باز بانوان (خراسان رضوی)
موضوع : رياضيات -- فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
79. مفهومنگاشت: یک زبان فرمولی اندیشه محض سا‌خته‌شده براسا‌س الگوی زبان فرمولی علم حساب به ضمیمه شرحی از آنتونی کنی
پدیدآورنده : فرگه، گوتلوب، ۱۸۴۸ - ۱۹۲۵م
کتابخانه: كتابخانه مجمع عالی حكمت اسلامی (قم)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ف
۴
م
۷
80. مفهومنگاشت: یک زبان فرمولی اندیشه محض سا‌خته‌شده براسا‌س الگوی زبان فرمولی علم حساب به ضمیمه شرحی از آنتونی کنی
پدیدآورنده : فرگ، گا‌تلاب، ۱۸۴۸ - ۱۹۲۵م
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع : فلسفه ریاضیات,منطق ریاضی
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
