181. A readable introduction to real mathematics

پدیدآورنده :

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

موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

182. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

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

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

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

183. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

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

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

رده :
QA
76
.
L28
Vol
.
568

184. <A> rhetoric of argument

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

موضوع : English language- Rhetoric,Logic

185. A rulebook for arguments /

پدیدآورنده :

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

موضوع : English language-- Rhetoric.,Logic.,Reasoning.,08.33 logics and argumentation.,Argumentation,Argumentation.,Argumentation.,Argumentationsanalys.,Conflict resolution.,Conflict.,English language-- Rhetoric.,Interpersonal communication.,Logic.,Logic.,Logik,Logik.,Reasoning.,Reasoning.

رده :
BC177
.
W47
2009

186. A rulebook for arguments /

پدیدآورنده :

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

موضوع : English language-- Rhetoric.,Logic.,Reasoning.,English language-- Rhetoric.,Logic.,Reasoning.

رده :
BC177
.
W47
2017

187. A rulebook for arguments

پدیدآورنده :

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

موضوع : ، Reasoning,، Logic,Rhetoric ، English language

رده :
BC
177
.
W47
1992

188. A science of operations

پدیدآورنده :

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

موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA76
.
6
.
P75
2010

189. A science of operations

پدیدآورنده :

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

موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

190. A structuralist theory of logic

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

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

191. A structuralist theory of logic

پدیدآورنده :

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

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

رده :
BC
135
.
K64

192. A structuralist theory of logic

پدیدآورنده :

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

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

193. A study of Hegel's logic

پدیدآورنده :

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

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

رده :
B2948
.
M83

194. A study of Hegel's logic

پدیدآورنده :

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

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

رده :
B2949
.
L8M8
1950

195. A study of Hegel's logic

پدیدآورنده :

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

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

196. A summary of scientific method /

پدیدآورنده :

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

موضوع : Logic, Symbolic and mathematical,Science-- Methodology

197. A survey of symbolic logic

پدیدآورنده :

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

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

رده :
BC
135
.
L4
1960

198. A survey of symbolic logic

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

موضوع : Logic, Symbolic and mathematical

رده :
164
Le-S

199. A survey of symbolic logic

پدیدآورنده :

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

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

200. 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