201. A preface to logic

پدیدآورنده :

موضوع : Logic.

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

202. A preface to logic

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Logic

رده :
160
Co-P

203. A primer of Indian logic; according to Annambhatta's tarkasamgraha

المؤلف:

المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع: Annambhatta, 17th cent.Tarkasagraha,Nyaga

204. A primer of formal logic

المؤلف:

المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع: Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy

205. A primer of formal logic

المؤلف:

المکتبة: كتابخانه دانشگاه مفيد (قم)

رده :
BC
71
.
C6
A6
1947

206. A primer of logic

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Logic

رده :
BC
.
B9
108
1973

207. A profile of mathematical logic

پدیدآورنده :

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

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

208. A profile of mathematical logic.

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

موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.

رده :
QA9
.
D37

209. A profile of mathematical logic

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

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

رده :
QA
9
.
D37

210. A profile of mathematical logic /

المؤلف:

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

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

رده :
QA9
.
D37
2004

211. A quick and gentle guide to constraint logic programming via ECLiPSe

المؤلف:

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

موضوع: Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.

212. A resolution principle for a logic with restricted quantifiers

المؤلف:

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

موضوع: Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87

213. A resolution principle for a logic with restricted quantifiers

المؤلف:

المکتبة: (طهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
568

214. A science of operations: Machines, logic and the invention of programming

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

215. A short introduction to intuitionistic logic

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

موضوع: Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;

216. A short introduction to intuitionistic logic

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local

رده :
E-BOOK

217. A short introduction to intuitionistic logic

المؤلف:

المکتبة: (طهران)

موضوع: ، Intuitionistic mathematics

رده :
QA
9
.
47
.
M56S5

218. A structuralist theory of logic

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

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

219. A structuralist theory of logic

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

رده :
BC
135
.
K64

220. A structuralist theory of logic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.

رده :
BC
,
135
,.
K67
,
1992