1. Aspect of Modern Logic
پدیدآورنده: by Evert W. Beth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
D8
B948
1970
2. Bergson and modern physics :
پدیدآورنده: M Capek
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
Q174
.
M337
2013
3. Between logic and intuition :
پدیدآورنده: edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
4. Between logic and intuition :
پدیدآورنده: edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
5. Carnap's Logical syntax of language
پدیدآورنده: edited by Pierre Wagner
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Carnap, Rudolf,1981-0791.Logische Syntax der Sprache,Congresses ، Logic, Symbolic and mathematical,Congresses ، Grammar, Comparative and general - Syntax,Congresses ، Logical positivism
رده :
B945
.
C163
L6338
2009
6. Computation, Logic, Philosophy :
پدیدآورنده: by Hao Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information theory.,Mathematics.,Technology -- Philosophy.
7. Connecting humans to equations :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- Philosophy.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA8
.
4
8. Creative Space :
پدیدآورنده: by Andrzej P. Wierzbicki, Yoshiteru Nakamori.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Engineering mathematics.,Philosophy.
9. Design science :
پدیدآورنده: Vladimir Hubka and W. Ernst Eder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Design industriel.
رده :
TA174
.
V533
1996
10. Empiricism, logic, and mathematics : philosophical papers
پدیدآورنده: Hans Hahn; edited by Brian McGuinness; with an introduction by Karl Menger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Philosophy,Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Intuition,Addresses, essays, lectures ، Infinite
رده :
B
29
.
H27
11. Experiencing mathematics :
پدیدآورنده: Reuben Hersh
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- Philosophy
رده :
QA8
.
6
.
H47
2014
12. Foundations of set theory
پدیدآورنده: Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
13. General systems theory :
پدیدآورنده: Jeffrey Yi-Lin Forrest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: System theory.,System theory.
رده :
Q295
.
F67
2018
14. Intuition and the Axiomatic Method
پدیدآورنده: \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
15. Intuition and the axiomatic method
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ; Philosophy. ; Intuitionistic mathematics. ; Axioms. ;
16. Intuition and the axiomatic method
پدیدآورنده: / edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematic--Philosophy,Intuitionistic mathematics,Axioms
رده :
E-BOOK
17. Intuition and the axiomatic method
پدیدآورنده: / edited by Emily Carson and Renate Huber
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Philosophy,Intuitionistic mathematics.,Axioms.
18. Intuition in science and mathematics :
پدیدآورنده: Efraim Fischbein
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Intuition,Mathematics-- Philosophy,Science-- Philosophy
رده :
Q175
.
F5468
1987
19. Kant's critique of pure reason :
پدیدآورنده: by Otfried Höffe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Kant, Immanuel,1724-1804., Kritik der reinen Vernunft.,Kritik der reinen Vernunft (Kant, Immanuel),Causation.,Knowledge, Theory of.,Reason.,Raison.,Théorie de la connaissance.,Causation.,Knowledge, Theory of.,Kritik der reinen Vernunft (Kant),PHILOSOPHY-- General.,Reason.
رده :
B2775
20. Logical and philosophical papers, 1909-13 /
پدیدآورنده: Bertrand Russell ; edited by John G. Slater with the assistance of Bernd Frohmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Modern-- 20th century.,Philosophy, Modern-- 20th century.,Logique moderne-- 20e siècle.,Philosophie-- 20e siècle.,Logic, Modern.,Logica.,Logique-- 20e siècle.,Philosophie-- Grande-Bretagne-- 20e siècle.,Philosophy, Modern.
رده :
B1649
.
R91
1983
vol
.
6
