201. A primer of formal logic
المؤلف: By John C. Cooley
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
202. A primer of logic
المؤلف: )by( Henry C. Byerly. With contributions from Charles J. Merchant,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic
رده :
BC
.
B9
108
1973
203. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
204. 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
205. A profile of mathematical logic
المؤلف: DeLong, Howard
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
206. A profile of mathematical logic /
المؤلف: Howard DeLong.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
D37
2004
207. A prosentential theory of truth /
المؤلف: Dorothy Grover.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Language and languages-- Philosophy.,Proposition (Logic),Truth.,Language and languages-- Philosophy.,PHILOSOPHY-- Epistemology.,Proposition (Logic),Truth.
رده :
BC171
.
G76
1992eb
208. A readable introduction to real mathematics
المؤلف: Rosenthal, Daniel.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
209. A resolution principle for a logic with restricted quantifiers
المؤلف: H.-J. Burckert
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
210. A resolution principle for a logic with restricted quantifiers
المؤلف: Burckert, Hans-Jurgen
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
211. A rulebook for arguments /
المؤلف: Anthony Weston.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: 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
212. A rulebook for arguments /
المؤلف: Anthony Weston.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: English language-- Rhetoric.,Logic.,Reasoning.,English language-- Rhetoric.,Logic.,Reasoning.
رده :
BC177
.
W47
2017
213. A rulebook for arguments
المؤلف: Weston, Anthony
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Reasoning,، Logic,Rhetoric ، English language
رده :
BC
177
.
W47
1992
214. A science of operations
المؤلف: / by Peter Mark Priestley
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
215. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
216. A structuralist theory of logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
217. A structuralist theory of logic
المؤلف: Koslow, Arnold
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
رده :
BC
135
.
K64
218. A structuralist theory of logic
المؤلف: / Arnold Koslow
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.
رده :
BC
,
135
,.
K67
,
1992
219. A structuralist theory of logic
پدیدآورنده : Koslow, Arnold
موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
220. A study of Hegel's logic
المؤلف: / by G. R. Mure
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Hegel, Georg Wilhelm Friedrich, 1770-1831,Logic
رده :
B2948
.
M83
