181. A mathematical introduction to logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Logic, Symbolic and mathematical

رده :
E-BOOK

182. A mathematical introduction to logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
E5

183. A mathematical introduction to logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic, Symbolic and mathematical. ;

184. A millennium of Buddhist logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Buddhist logic.

185. A modern elementary logic

پدیدآورنده :

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

186. A modern elementary logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Logic - Study and teaching

رده :
BC59
.
S7

187. A modern elementary logic

پدیدآورنده:

کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (تهران)

موضوع: Logic

رده :
BC71
.
S75

188. A modern formal logic

پدیدآورنده:

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

189. A modern introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Arabic imprin%

رده :
BC
108
.
S8

190. A modern introduction to logic

پدیدآورنده :

موضوع : Logic.

۵ نسخه از این کتاب در ۳ کتابخانه موجود است.

191. A modern introduction to logic

پدیدآورنده:

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

192. A new introduction to modal logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع: Logic - Modality

رده :
BC
,
199
,.
H8
,
1996

193. A new introduction to modal logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Modality )Logic(

رده :
BC
199
.
M6H8
1996

194. A perface to logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Arabic imprin%

رده :
BC
71
.
C6

195. A philosophical companion to first-order logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: First-order logic

رده :
BC128
.
P55
1993

196. A practical introduction to the new logic symbols

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Logic circuits - Notation

رده :
TK
7868
.
L6
K36
1986

197. A practical introduction to the new logic symbols

پدیدآورنده :

موضوع : Logic circuits - Notation

۵ نسخه از این کتاب در ۵ کتابخانه موجود است.

198. A practical introduction to the new logic symbols

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: LOGIC CIRCUITS-NOTATION

رده :
TK
7868
.
L6
K36
1986

199. A practical logic of cognitive systems

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic

رده :
BC
71
.
G22P7

200. A pragmatic logic for commands /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Commands (Logic),Pragmatics

رده :
BC199
.
C5
A34
1980