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