221. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
پدیدآورنده : Boole, George
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1958
222. An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
پدیدآورنده : Boole, George, 5181-4681
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
223. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
224. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
225. An outline of set theory
پدیدآورنده : / James M.Henle
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
226. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
227. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
228. An outline of set theory
پدیدآورنده : / James M. Henle,Henle
کتابخانه: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
511
.
322
H514O
229. An outline of set theory
پدیدآورنده : James M. Henle,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
H43
248
1986
230. An outline of set theory /
پدیدآورنده : James M. Henle
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Set theory,Ensembles, Théorie des,Logique symbolique et mathématique
رده :
QA248
.
H43
1986
231. <An> outline of set theory
پدیدآورنده : James M. Henle
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
232. An outline of set theory
پدیدآورنده : / James M. Henle.,Henley
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Set Theory -- Study and teaching,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
233. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
234. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
235. An outline of set theory
پدیدآورنده : James M. Henle.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
236. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
237. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson ... ]et al.[
کتابخانه: (Semnan)
موضوع : ، Mathematical analysis,، Logic, symbolic and mathematical
رده :
QA
300
.
5
.
A53
238. Analysis and logic /
پدیدآورنده : edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematical analysis.
239. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors: C. Ward Henson... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A522
240. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002
