81. A course in mathematical logic
پدیدآورنده : Manin, IU I
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
82. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
83. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
84. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
85. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
86. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
87. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
88. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
89. A course on mathematical logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
90. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
91. A course on mathematical logic
پدیدآورنده : Shashi Mohan Srivastava
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S65
2013
92. A dictionary of philosophical logic
پدیدآورنده : Cook, Roy T., 2791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Dictionaries ، Logic
رده :
BC
9
.
C66D5
93. <A> dictionary of philosophical logic
پدیدآورنده : / Roy T. Cook
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع : Logic--Dictionaries
رده :
BC9
.
C66
2009
94. A first course in fuzzy logic
پدیدآورنده : Nguyen, Hung T.,4491-,Hung T. Nguyen and Elbert A. Walker
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Neural networks )Computer science(,، Fuzzy logic
رده :
QA
76
.
8
.
N497
95. A first course in fuzzy logic
پدیدآورنده : Nguyen, H. T.)Hung T.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Neural networks )Computer science(,، Fuzzy logic
رده :
QA
76
.
87
.
N497
1996
96. A first course in fuzzy logic
پدیدآورنده : Nguyen, Hung T.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Neural networks )Computer science(,، Fuzzy logic
رده :
QA
76
.
87
.
N497
2000
97. A first course in fuzzy logic
پدیدآورنده : / Hung T. Nguyen,Elbert A.Walker
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Neural networks(Computer science),Fuzzy logic
98. A first course in fuzzy logic
پدیدآورنده : Nguyen, Hung T.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Neural networks )Computer science(,، Fuzzy logic
رده :
QA
76
.
87
.
N497
2000
99. A first course in fuzzy logic
پدیدآورنده : / by Hung T. Nguyen and Elbert A. Walker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Neural networks (Computer science),Fuzzy logic
رده :
QA76
.
87
.
N497
1999
100. A first course in fuzzy logic /
پدیدآورنده : Hung T. Nguyen, Carol L. Walker, Elbert A. Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fuzzy logic.,Neural networks (Computer science),Fuzzy logic.,MATHEMATICS / General.,Neural networks (Computer science)
رده :
QA76
.
87
.
N497
2019eb