181. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

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

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

رده :
QA
76
.
L28
Vol
.
568

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

پدیدآورنده :

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

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

183. A short introduction to intuitionistic logic

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

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

184. A short introduction to intuitionistic logic

پدیدآورنده :

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

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

رده :
E-BOOK

185. A short introduction to intuitionistic logic

پدیدآورنده :

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

موضوع : ، Intuitionistic mathematics

رده :
QA
9
.
47
.
M56S5

186. A structuralist theory of logic

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

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

187. A structuralist theory of logic

پدیدآورنده :

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

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

رده :
BC
135
.
K64

188. A structuralist theory of logic

پدیدآورنده :

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

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

189. A study of Hegel's logic

پدیدآورنده :

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

موضوع : Hegel, Georg Wilhelm Friedrich, 1770-1831,Logic

رده :
B2948
.
M83

190. A study of Hegel's logic

پدیدآورنده :

کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)

موضوع : ، Hegel, Georg Wilhelm Friedrich, 0771-1381,91th century ، Logic, Modern

رده :
B2949
.
L8M8
1950

191. A study of Hegel's logic

پدیدآورنده :

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

موضوع : Hegel,George Wilhelm Friedrich,1770-1831,Logic, Modern

192. <A> study of the logic of teaching

پدیدآورنده :

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

رده :
LB1025
،.
S653
1970

193. A survey of symbolic logic

پدیدآورنده :

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

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

رده :
BC
135
.
L4
1960

194. A survey of symbolic logic

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

موضوع : Logic, Symbolic and mathematical

رده :
164
Le-S

195. A survey of symbolic logic

پدیدآورنده :

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

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

196. A survey of symbolic logic

پدیدآورنده :

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

رده :
BC
135
.
L4
2001

197. A system of Indian logic: The nyaya theory of inference, analysis , text , translation and interpretation of the anumana section of karikavali , muktavali and dinakari

پدیدآورنده :

کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)

موضوع : ، Logic - India,، Knowledge, Theory of

رده :
BC
39
.
5
.
V37

198. ‎A system of Indian logic: the Nyaya theory of inference: analysis, text, translation and interpretaion of anumana section of Karikavali, Muktavali and Dinakari‬

پدیدآورنده :

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

رده :
B
۱۳۲
/
ن
‌۹
و
۲ ۱۳۸۲

199. #<A> system of logic ratiocinative and inductive

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

موضوع : Logic ،Induction )Logic( ،Evidence

رده :
#
BC
،#.
M54

200. A system of logic ratiocinative and inductive: Being a connected view of the principles of evidence, and the methods of scientific investigation

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Logic,Methodology ، Science,، Knowledge, Theory of

رده :
BC
91
.
M6S9