341. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
N493
342. New essays on Tarski and philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
343. Nonbayesian Decision Theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Philosophy (General). ; Science ; Philosophy. ; Computer science. ; Mathematics. ; Economics, Mathematical. ; Philosophy. ; Philosophy of Science. ; Operations Research/Decision Theory. ; Probability and Statistics in Computer Science. ; Game Theory, Econ
344. Number and numbers
پدیدآورنده : Badiou, Alain
کتابخانه: Special Library of University of Religions (Qom)
موضوع : Philosophy ، Mathematics,، Numeration,، Number concept
رده :
QA
8
.
4
.
B33
2009
345. Numbers and numeracy in Chinese culture, language, and education
پدیدآورنده : / Valerie Pellatt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics, Chines--History,Numerac--China--History,Number theor--China--History,Mathematics, Chines--Philosophy,Philosoph--China
رده :
E-BOOK
346. Objectivity, Realism, and Proof
پدیدآورنده : \ Francesca Boccun, Andrea Sereni, editors.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics -- Philosophy.
رده :
E-Book
,
347. On Science
پدیدآورنده : Ridley, B.K.
کتابخانه: Central Library of APLL (Tehran)
موضوع : ، Science - Philosophy,، Mathematics
رده :
Q
175
.
R5
S3
2001
348. On science
پدیدآورنده : Ridley, B. K.
موضوع : ، Science-- Philosophy,، Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
349. One hundred years of intuitionism )1907-2007(: the Cerisy conference
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Brouwer, L. E. J.)Luitzen Egbertus Jan(,1881-6691,، Intuitionistic mathematics,Philosophy ، Mathematics
رده :
QA
9
.
47
.
O54
2008
350. Outlines of a formalist philosophy of mathematics
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy
رده :
QA
9
.
C8
351. Outlines of a formalist philosophy of mathematics
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics - Philosophy
رده :
QA
8
.
4
.
C87
352. Paradoxes of the infinite
پدیدآورنده : Bolzano, Bernard
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Infinite,، Mathematics -- Philosophy
رده :
QA
9
.
B6824
353. Pensee formelle et sciences de l'homme
پدیدآورنده : Granger, Gilles Gaston
کتابخانه: Central Library of APLL (Tehran)
موضوع : ، Semantics )Philosophy(,، Language and languages - Philosophy,، Science - Philosophy,، Phenomenology,، Mathematics - Philosophy,، Values
رده :
B
840
.
G67
1967
354. Pensee formelle et sciences de l'homme
پدیدآورنده : Gilles-Gaston Granger
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Science--Philosophy.,Language and languages--Philosophy.,Semantics (Philosophy),Phenomenology.,Mathematics--Philosophy.,Values.
355. Perspectives on mathematical practices : bringing together philosophy of mathematics, sociology of mathematics, and mathematics education
پدیدآورنده : edited by Bart Van Kerkhove and Jean Paul van Bendegem
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy
رده :
QA
8
.
4
.
P47
356. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
357. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T53P45
358. Philosophical explorations of the legacy of Alan Turing : Turing 100
پدیدآورنده : Juliet Floyd, Alisa Bokulich, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing, Alan Mathison, 2191-4591,، Mathematics -- Philosophy,، Computable functions,، Cryptography,، Enigma cipher system
رده :
QA
29
.
T8P46
359. Philosophical grammar
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
360. Philosophical papers
پدیدآورنده : Lakatos, Imre
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Science-- Philosophy,، Mathematics-- Philosophy
رده :
Q
175
.
3
.
I34