81. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
82. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2010
83. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang.
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
84. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
85. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2006
86. A concise logic
پدیدآورنده : / William H. Halverson
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Logic
رده :
BC71
.
H175
1984
87. A contemporary introduction to logic with applications
پدیدآورنده : Carter, K. Codell)Kay Codell(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic
رده :
BC
108
.
C283
88. A contemporary introduction to logic with applications
پدیدآورنده : Carter, Kay Codell
کتابخانه: (طهران)
موضوع : ، Logic
رده :
BC
108
.
C283
89. A course in mathematical logic
پدیدآورنده : by J. L. Bell and M. Machover,Title
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
90. A course in mathematical logic
پدیدآورنده : Bell, John Lane
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B395
91. A course in mathematical logic
پدیدآورنده : Bell, John Lane
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B44
1977
92. A course in mathematical logic
پدیدآورنده : / YU. I. Manin
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
M278
93. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
94. A course in mathematical logic
پدیدآورنده : Manin, IUrii Ivanovich, 7391-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M273
95. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
96. <A> course in mathematical logic
پدیدآورنده : / by J. L. Bell and M. Machover
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA9
،.
B46
1977
97. <A> course in mathematical logic
پدیدآورنده : / Yu. I. Manin
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
98. 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
99. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
100. <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
,
