261. Meaning and existence in mathematics
پدیدآورنده : Charles Castonguay,Title
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
262. Mutational and Morphological Analysis
پدیدآورنده : by Jean-Pierre Aubin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.
263. Naive Set Theory
پدیدآورنده : by Paul R. Halmos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
264. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Tarski, Alfred,Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA8
.
4
.
N49
2008
265. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: (طهران)
موضوع : ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
N493
266. New essays on Tarski and philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
267. Non-commutative Multiple-Valued Logic Algebra
پدیدآورنده : / electronic resource
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration
رده :
E-BOOK
268. [Omega]-Bibliography of Mathematical Logic :
پدیدآورنده : edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
269. Ordered Algebraic Structures
پدیدآورنده : edited by W. Charles Holland, Jorge Martinez.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
270. Passage to abstract mathematics /
پدیدآورنده : Mark E. Watkins, Jeffrey L. Meyer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Authorship,Technical writing
رده :
QA42
.
W38
2012
271. 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
272. 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
273. Philosophical grammar /
پدیدآورنده : Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
274. Philosophical grammar
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
275. Philosophical grammar
پدیدآورنده : Ludwig Wittgenstein
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Wittgenstein, Ludwig, 1889 - 1951,Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference,Mathematics, Philosophy
رده :
193
W831PR
276. Philosophical remarks
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
B3376
.
W563
P413
1964
277. Philosophikē grammatikē /
پدیدآورنده : Ludwig Wittgenstein ; eisagōgē, metaphrasē, scholia: Kōstēs Kōvaios.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
278. Philosophy of mathematics and deductive structure in Euclid's Elements /
پدیدآورنده : Ian Mueller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Euclid., Elements.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA31
.
E9
M83
279. Philosophy of mathematics in the twentieth century :
پدیدآورنده : Charles Parsons
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
2
.
P372
2014
280. Posthumous writings
پدیدآورنده : Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
