21. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
پدیدآورنده : / Alejandro R. Garciadiego
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
22. Bertrand Russell and the origins of the set-theoretic 'paradoxes',Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
رده :
QA
9
.
G2413
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
23. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
24. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
25. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
26. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
27. Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
پدیدآورنده : edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1977
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
28. Conceptual models in mathematics: sets, logic and probability
پدیدآورنده : Hirst, Keith Edwin.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
248
.
H55
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
29. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
![](/design/images/bookmore.png)
30. Elements of logic and foundations of mathematics in problems
پدیدآورنده :
موضوع : Logic, Symbolic and mathematical,Set theory
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
31. Elements of logic and foundations of mathematics in problems,Elementy logiki i teorii mnogosci w zadaniach. English
پدیدآورنده : Marek, Wiktor.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
M31913
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
32. Elements of set theory
پدیدآورنده : Zehna, Peter W
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
Z45
1972
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
33. Equality, resemblance and order
پدیدآورنده : Schreider, Ju.A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S53
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
34. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
35. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
36. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، System design,، Set theory,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
S29
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
37. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design , Set theory , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
S29
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
38. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
39. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)