181. A modern introduction to logic
پدیدآورنده : [By] L. S. Stebbing
موضوع : Logic.
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
182. A modern perspective on type theory :
المؤلف: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
183. A new introduction to modal logic
المؤلف: G. E. Hughes, M. J. Cresswell
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Logic - Modality
رده :
BC
,
199
,.
H8
,
1996
184. A new introduction to modal logic
المؤلف: Hughes, George Edward, 8191-
المکتبة: (طهران)
موضوع: ، Modality )Logic(
رده :
BC
199
.
M6H8
1996
185. A paraconsistent decision-making method /
المؤلف: Fábio Romeu de Carvalho, Jair Minoro Abe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
186. A philosophical companion to first-order logic /
المؤلف: edited, with an overview, by R.I.G. Hughes
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: First-order logic
رده :
BC128
.
P55
1993
187. A philosophical guide to conditionals
المؤلف: Bennett, Jonathan Francis, 0391-
المکتبة: (طهران)
موضوع: ، Conditionals )Logic(
رده :
BC
199
.
C56B46
188. A practical introduction to the new logic symbols
المؤلف: Kampel, Ian Joseph
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Logic circuits - Notation
رده :
TK
7868
.
L6
K36
1986
189. A practical introduction to the new logic symbols
پدیدآورنده : Kampel, Ian
موضوع : ، Logic circuits
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
190. A practical introduction to the new logic symbols
المؤلف: KAMPEL,IAN JOSEPH
المکتبة: (طهران)
موضوع: LOGIC CIRCUITS-NOTATION
رده :
TK
7868
.
L6
K36
1986
191. A practical logic of cognitive systems
المؤلف: Gabbay, Dov M., 5491-
المکتبة: (طهران)
موضوع: ، Logic
رده :
BC
71
.
G22P7
192. A practical study of argument /
المؤلف: Trudy Govier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Reasoning.
رده :
BC177
.
G65
2010
193. A practical study of argument
المؤلف: Govier, Trudy
المکتبة: مکتبه الادیان و المذاهب التخصصیه (قم)
موضوع: ، Reasoning,، Logic
رده :
BC
177
.
G68
.
P72
194. A practical study of argument /
المؤلف: Trudy Govier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Reasoning.
رده :
BC177
.
G65
2010
195. <A> practical study of argument
المؤلف: / Trudy Govier
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Reasoning,Logic
رده :
BC177
.
G65
1996
196. A practical study of argument
المؤلف: Govier, Trudy
المکتبة: مکتبه الادیان و المذاهب التخصصیه (قم)
موضوع: ، Reasoning,، Logic
رده :
BC
177
.
G68
.
P72
2005
197. A pragmatic logic for commands /
المؤلف: Melvin Joseph Adler
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Commands (Logic),Pragmatics
رده :
BC199
.
C5
A34
1980
198. A pragmatic theory of fallacy
المؤلف: Walton, Douglas N., 2491-
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Fallacies )Logic(
رده :
BC
175
.
W3P7
199. A preface to logic.
پدیدآورنده : [by] Morris R. Cohen
موضوع : Logic.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
200. A preface to logic
المؤلف: / by Morris R. Cohen
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic
رده :
160
Co-P
