21. companion encyclopedia of the history and philospy of the mathematical sciences
پدیدآورنده : / Edited by I.Grattan -Guinness.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,ریاضیات, -- تاریخ, -- فلسفه
رده :
QA
۲۱
/
ک
۲ ۱۳۰۰
ی
22. Cultures of Mathematics and Logic
پدیدآورنده : \ Edited by Shier Ju...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- History -- Congresses.,Mathematics -- Philosophy -- Congresses.,ریاضیات -- تاریخ -- کنگره ها,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
23. Des méthodes dans les sciences de raisonnement
پدیدآورنده : / par J. M. C. Duhamel.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق,ریاضیات,مکانیک تحلیلی, -- فلسفه
رده :
QA
۹
/
د
۹
م
۲ ۱۳۷۵
24. Epistles of the Brethren of Purity,رسائل اخوان الصفا
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فلسفه اسلامی,Islamic philosophy,ریاضیات اسلامی,Mathematics, Arab,ریاضیات,Mathematics,مابعدالطبیعه,Metaphysics, -- متون قدیمی تا قرن ۱۴, -- Early works to 20th century, -- فلسفه, -- Philosophy
رده :
BBR
۱۸۳
/
الف
۳
ر
۵ ۱۳۹۱
25. Essays in the Philosophy and History of Logic and Mathematics
پدیدآورنده : \ Roman Murawski ; foreword [by] Jan Woleński.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics-- Philosophy.,Mathematics-- Philosophy-- History-- 20th century.,Logic-- History.,ریاضیات -- فلسفه ,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م. ,منطق -- تاریخ
رده :
QA
8
.
6
.
M8E8
2010
E-Book
,
26. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
27. Explanation and Proof in Mathematics
پدیدآورنده : \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
28. Explanation in Ethics and Mathematics
پدیدآورنده : \ edited by Uri D. Leibowitz and Neil Sinclair.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Ethics.,Mathematics -- Philosophy.,اخلاق ,ریاضیات -- فلسفه
رده :
E-Book
,
29. Foundational Theories of Classical and Constructive Mathematics
پدیدآورنده : \ Giovanni Sommaruga Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy.,Constructive mathematics -- Philosophy.,ریاضیات -- فلسفه ,ریاضیات ساختنی -- فلسفه
رده :
QA
8
.
4
.
F6
2011
E-Book
,
30. Frege, Gottlob
پدیدآورنده :
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
31. From Logic to Practice
پدیدآورنده : \ Gabriele Lolli, Marco Panza, Giorgio Venturi Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy,Logic,ریاضیات -- فلسفه ,منطق
رده :
QA
8
.
7
.
F7
2015
E-Book
,
32. From a Geometrical Point of View
پدیدآورنده : \ by Jean-Pierre Marquis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Categories (Mathematics) -- History. ,Categories (Mathematics) -- Philosophy,رسته‌ها (ریاضیات) -- تاریخ,رسته‌ها (ریاضیات) -- فلسفه
رده :
E-Book
,
33. G.W. Leibniz, Interrelations Between Mathematics and philosophy
پدیدآورنده : \ Norma B. Goethe, Philip Beeley, David Rabouin, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716.,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
B
2598
.
G84
2015
E-Book
,
34. Great ideas of modern mathematics: their nature and use
پدیدآورنده : / by Jagjit Singh.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : آنالیز ریاضی ,ریاضیات, -- فلسفه
رده :
QA
۹۳
/
س
۹
گ
۴ ۱۳۳۸
35. Humanizing Mathematics and its Philosophy
پدیدآورنده : \ Bharath Sriraman Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Hersh, Reuben, 1927-,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
E-Book
,
36. Introduction to Mathematical Philosophy
پدیدآورنده : \ by Bertrand Russell,راس‍ل
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,ریاضیات, -- Philosophy, -- فلسفه,a03,a03
رده :
QA9
.
R8
I5
1970
37. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
پدیدآورنده : \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
رده :
QA9
.
T28
38. Introduction to mathematical philosophy
پدیدآورنده : /by Bertrand Russell.,راس‍ل,Russell
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات, -- فلسفه
رده :
QA
۹
/
ر
۲
الف
۹ ۱۳۲۹
39. Introduction to mathematical thinking: the formation of concepts in modern mathematics
پدیدآورنده : / by Friedrich Waismann
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,اعداد، مفهوم , -- فلسفه
رده :
QA
۹
/
و
۲ ۱۳۳۸
40. Intuition and the Axiomatic Method
پدیدآورنده : \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
