1. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
2. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
3. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi,6291-, ]by[ G. Takeuti ]and[ W. M. Zaring
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
4. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
5. Introduction to axiomatic set theory
پدیدآورنده : / Gaisi Takeuti, Wilson M.Zaring
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Axiomatic set theory
رده :
511
.
322
T136i
1982
6. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Axiomatic set theory
رده :
QA
9
.
T25
7. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
8. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Axiomatic set theory
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
9. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1971
10. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
11. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
12. Proof theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Proof theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Proof theory /
پدیدآورنده : Gaisi Takeuti
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory
رده :
QA9
.
54
.
T34
1975
14. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
15. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
16. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
