81. Combinatorial Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
82. Combinatorial Set Theory
پدیدآورنده : \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
83. Combinatorial set theory
پدیدآورنده : / Paul Erdios ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA248
،.
C66
1984
84. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
85. Combinatorial set theory
پدیدآورنده : Williams, Neil H.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Combinatorial set theory
رده :
QA
248
.
W56
86. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
87. Combinatorial set theory
پدیدآورنده : / Lorenz J. Halbeisen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
88. Combinatorial set theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Combinatorial set theory. ;
89. Combinatorial set theory : partition relations for cardinals
پدیدآورنده : Paul Erdos...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatorial set theory
رده :
QA
248
.
C616
1984
90. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
91. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
92. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
93. Computable set theory
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26C6
94. Computational Logic and Set Theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
95. Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
96. Computational logic and set theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Set theory
رده :
E-BOOK
97. Computational logic and set theory :
پدیدآورنده : Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Set theory
رده :
QA248
.
S39
2011eb
98. Computational logic and set theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Set theory. ;
99. Computational logic and set theory applying formalized logic to analysis
پدیدآورنده : Schwartz, Jacob T., Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory
رده :
QA
248
.
S364
2011
100. Computational quantum chemistry : an interactive guide to basis set theory
پدیدآورنده : Quinn, Charles M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing ، Quantum chemistry,، Gaussian basis sets )Quantum mechanics(
رده :
QD
462
.
6
.
D38
Q35
2002
