1. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
2. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
3. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi,6291-,]by[ G. Takeuti ]and[ W. M. Zaring
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
4. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
5. Introduction to axiomatic set theory
پدیدآورنده : / Gaisi Takeuti, Wilson M.Zaring
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Axiomatic set theory
رده :
511
.
322
T136i
1982
6. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Axiomatic set theory
رده :
QA
9
.
T25
7. Introduction to axiomatic set theory
پدیدآورنده : Gaisi Takeuti, Wilson M. Zaring,Title
موضوع : Axiomatic set theory
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1971
9. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
10. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : Logic Symposia, )9791, Hakone-machi, Japan(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
891
11. Logic symposia, Hakone, 1979, 1980 : proceedings of Conference held in Hakone, Japan,March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G. H. Muller, G. Takeuti, and T. Tugue
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
891
12. Logic sympsia, Hakone 1979, 1980: repoceedings of conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G.H. Muller, G. Takeuti, and T. Tugue
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
891
13. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
14. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
15. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
16. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
17. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26