21. Anaphora and Type Logical Grammar
پدیدآورنده : \ by Gerhard Jäger
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Anaphora (Linguistics),Categorial grammar,Language and logic,مرجع پیشایند (زبان‌شناسی) ,زبان و منطق
رده :
E-Book
,
22. 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
,
23. Aristotle's Categories And De Interpretatione
پدیدآورنده : \ Translated With Notes By J. L. Ackrill
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,مقولات, -- متون قدیمی تا ۱۸۰۰م.,Logic - Early Works to 1800 ,Proposition (Logic),Categories (Philosophy),گزاره (منطق)
رده :
BC28
.
A7A7
24. 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
,
25. 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
,
26. 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
27. Between Logic and Reality
پدیدآورنده : / Majda Trobok, Nenad Miscevic, Berislav Zarnic, editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Reality,منطق,واقعیت
رده :
BC199
.
R43
,
B48
2012
28. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
29. 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
,
30. Classical Indian Philosophy of Induction
پدیدآورنده : \ Kisor Kumar Chakrabarti.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nyaya,نیایا,a04,a04,Induction (Logic)-- India-- History.,استقرا (منطق) -- هند -- تاریخ
رده :
BC
91
.
C46C55
2010
E-Book
,
31. 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
32. Computer Science Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
33. 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
34. Conceptual Graphs and Fuzzy Logic
پدیدآورنده : \ Tru Hoang Cao.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,منطق فازی,a05,a05,Fuzzy graphs.,Conceptual structures (Information theory),گراف‌های فازی ,ساختارهای مفهومی (نظریه اطلاعات)
رده :
QA
166
.
175
.
C32C6
2010
E-Book
,
35. Concise history of logic
پدیدآورنده : / Heinrich Scholz
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق--تاریخ,Logic -- History.
رده :
BC
۱۵
/
ش
۹
ک
۲ ۱۳۴۰
36. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
37. Critical Thinking
پدیدآورنده : / Jamie Carlin Watson and Robert Arp
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Critical thinking,Logic,استدلال,تفکر انتقادی,منطق
رده :
BC177
.
W3C5
2011
38. Critique de la Faculte de Juger : Suivi de Idee D'une Histoire Universelle Au Point de Vue Cosmopolitique et de Reponse a la Question : Qu'est-Ce Que les Iumieres ?
پدیدآورنده : / Emmanuel Kant
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Judgment (Logic),تصدیق (منطق )
رده :
B2773
.
K3C7
2011
39. Deductive and Inductive Logic
پدیدآورنده : / edited by Asia Whitcomb
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Modern - 21st century,منطق,.منطق جدید - قرن۲۱ م
رده :
BC75
.
D31
2010
40. Dependence Logic
پدیدآورنده : / Jouko Veaeaneanen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : First-order logic,نخستین دستور منطق
رده :
BC128
.
V33
2007
