7. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
10. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
11. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
12. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
13. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
14. Logicism and its philosophical legacy /
پدیدآورنده : William Demopoulos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
D38
2013
15. Papers in philosophical logic /
پدیدآورنده : David Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
BC135
.
L44
1998
16. Philosophical remarks
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
B3376
.
W563
P413
1964
17. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
پدیدآورنده : / Par Jacques Fauve
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
رده :
149
.
94
Wi-R
18. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
19. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
20. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
