161. Mathematics, models, and modality. selected philosophical
پدیدآورنده : Burgess, John P.,8491-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
B87
2008
162. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
163. Mathematische gesetze der logik
پدیدآورنده : Schmidt, H. Arnold
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
S35
164. Meaning and existence in mathematics
پدیدآورنده : Castonguay, Charles
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical
رده :
QA
9
.
C344
165. Meaning and existence in mathematics
پدیدآورنده : Castonguay, Charles.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
C34
166. Meaning and existence in mathematics
پدیدآورنده : Charles Castonguay,Title
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
167. Meaning and existence in mathematics
پدیدآورنده : Castonguay, Charles
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical
رده :
QA
9
.
C344
168. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
169. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Tarski, Alfred,Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA8
.
4
.
N49
2008
170. New essays on Tarski and philosophy
پدیدآورنده : / edited by Douglas Patterson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Tarski, Alfred.,Mathematics--Philosophy,Logic, Symbolic and mathematical--Philosophy
رده :
QA
,
8
.
4
,.
N49
,
2008
171. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
N493
172. New essays on Tarski and philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
173. Papers in philosophical logic /
پدیدآورنده : David Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
BC135
.
L44
1998
174. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
175. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T53P45
176. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
177. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
178. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
179. Philosophical grammar /
پدیدآورنده : Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
180. Philosophical grammar
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
