41. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
42. Fundamentals of mathematics
پدیدآورنده : Bernd S. W. Schreoder
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
S36F8
2010
43. Fundamentals of mathematics: an introduction to proofs, logic, sets, and numbers
پدیدآورنده : Schroder, Bernd S. W. )Bernd Siegfried Walter(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S358
2010
44. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
پدیدآورنده : International Summer Institute and Logic Colloquium, University of Kiel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
45. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, K. Potthoff
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
499
46. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, and K. Potthoff
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
Vol
.
499
47. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
48. Infinity and the mind: the science and philosophy of the infinite
پدیدآورنده : / by Rucker
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,symbolic and mathematical,Set theory,Infinite
رده :
511
.
3
R911i
49. Infinity and the mind : the science and philosophy of the infinite
پدیدآورنده : Rucker, Rudy v. B.)Rudy von Bitter(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Infinite
رده :
QA
9
.
R79
1982b
50. Introduction aux mathematiques de l,analyse economique
پدیدآورنده : / Rene Passet
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Set theory,Logic, Symbolic and mathematical,Abelian groups
رده :
QA248
.
M513
1971
51. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
52. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
53. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
54. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
55. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
56. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
57. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
58. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Wang, Hao
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
W3
59. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Par Hao Wang et Naughton Robert
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Set theory,Logic, Symbolic and mathematical
60. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987