161. An introuction to philosophical logic
پدیدآورنده : \ A. C. Grayling.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق.,زبان -- فلسفه.
رده :
BC
۷۱
/
گ
۴
الف
۹ ۱۳۷۷
162. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
163. Anaphora and Type Logical Grammar
پدیدآورنده : \ by Gerhard Jäger
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Anaphora (Linguistics),Categorial grammar,Language and logic,مرجع پیشایند (زبان‌شناسی) ,زبان و منطق
رده :
E-Book
,
164. Applied logic for computer scientists.
پدیدآورنده : \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
165. Aristotle's Categories And De Interpretatione
پدیدآورنده : \ Translated With Notes By J. L. Ackrill
کتابخانه: (طهران)
موضوع : منطق,مقولات, -- متون قدیمی تا ۱۸۰۰م.,Logic - Early Works to 1800 ,Proposition (Logic),Categories (Philosophy),گزاره (منطق)
رده :
BC28
.
A7A7
166. Aristotle's Modal Logic
پدیدآورنده : \ Richard Patterson.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),Metaphysics,(Essence (Philosophy,منطق موجهات,مابعدالطبیعه,ماهیت,a01,a02,a03,a01,a02,a03,Entailment (Logic)
رده :
B
437
.
P32A7
1995
E-Book
,
167. Automated Deduction – CADE-25
پدیدآورنده : \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
168. Avicenna's deliverance : logic,النجاة
پدیدآورنده : / Avicenna,اب‍ن‌‌س‍ی‍ن‍ا,Avicenna
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق اسلامی,فلسفه اسلامی, -- متون قدیمی تا قرن ۱۴, -- متون قدیمی تا قرن ۱۴
رده :
BBR
۵۵۴
/
الف
۲
الف
۷۰۴۱ ۱۳۹۰
169. Bad Arguments
پدیدآورنده : \ edited by Robert Arp, Steven Barbone, and Michael Bruce
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy,Common fallacies,Argumentation (Logic),فلسفه,اشتباههای مرسوم,ح‍ج‍ت (منطق), -- Miscellanea, -- مسائل متفرقه,a03,a05,a07,a03,a05,a07
رده :
BC175
.
B29
2019
170. Basic logic; the fundamental principles of formal deductive reasoning
پدیدآورنده : / Raymond J. McCall.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۱۰۸
/
م
۷
ب
۹ ۱۳۳۱
171. Between Logic and Reality
پدیدآورنده : / Majda Trobok, Nenad Miscevic, Berislav Zarnic, editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Reality,منطق,واقعیت
رده :
BC199
.
R43
,
B48
2012
172. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
173. British rhetoricians and logicians 1500 - 1660: first series
پدیدآورنده : / edited by Edward A. Malane.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : زبان ان‍گ‍ل‍ی‍س‍ی -- م‍ع‍ان‍ی و ب‍ی‍ان -- س‍رگ‍ذش‍ت‍ن‍ام‍ه و ک‍ت‍اب‍ش‍ن‍اس‍ی.,منطق -- ان‍گ‍ل‍س‍ت‍ان -- س‍رگ‍ذش‍ت‍ن‍ام‍ه و ک‍ت‍اب‍ش‍ن‍اس‍ی.
رده :
Z
۷۰۰۴
/
م
۶
ب
۴ ۱۳۸۰
174. Buddhist philosophy of language in India
پدیدآورنده : \ Lawrence J. McCrea and Parimal G. Patil.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : یانسری میترا. اپوهاپراکانا ,Buddhist logic.,Language and languages-- Philosophy.,Yogācāra (Buddhism),منطق بودایی,زبان -- فلسفه,یوگاکارا (بودا)
رده :
BC
25
.
M37
2010
E-Book
,
175. Classical Indian Philosophy of Induction
پدیدآورنده : \ Kisor Kumar Chakrabarti.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nyaya,نیایا,a04,a04,Induction (Logic)-- India-- History.,استقرا (منطق) -- هند -- تاریخ
رده :
BC
91
.
C46C55
2010
E-Book
,
176. Classical algebra: its nature, origins, and uses
پدیدآورنده : / Roger Cooke.,کوک,Cooke
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : جبر,جبر,منطق جبری, -- تاریخ
رده :
QA
۱۵۵
/
ک
۹
ک
۸ ۱۳۸۷
177. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: (طهران)
موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
178. Computer Science Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
179. Comunication: A philosophical study of language
پدیدآورنده : / Karl Britton
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق,م‍ف‍س‍ی (روان‍ش‍ن‍اس‍ی)
رده :
P
۱۰۵
/
ب
۴
ک
۲ ۱۳۷۹
180. Conception And Belief In Sadr Al -Din Shirazi (Ca 1571-1635): Al - Risala Fil -Tasawwur Wa -L -Tasdiq
پدیدآورنده : / Introduction, Translation, And Commentary By Joep Lameer
کتابخانه: (طهران)
موضوع : تصور (فلسفه),تصدیق (منطق),Representation (Philosophy),Judjement (Logic),صدرالدین شیرازی، محمد ابراهیم، -۰۵۰۱ق.- نقد و تفسیر
رده :
BBR1070
.
L3C6
