1. A companion to philosophical logic /

پدیدآورنده :

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

موضوع : Logic.,Logique.,Logic.,Logica.,Logik,Logique (Philosophie),Logique mathématique.,Logique modale.,Paradoxe.,PHILOSOPHY-- Logic.,Sémantique.

رده :
BC71
.
C65
2002eb

2. ‎A guide to classical and modern model theory‬

پدیدآورنده :

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

موضوع : ‎Model theory‬

رده :
QA
۹
/
۷
/
م
‌۲
گ
‌۲ ۱۳۸۲

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

4. Abelard and Heloise /

پدیدآورنده :

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

موضوع : Abelard, Peter,1079-1142.,Héloïse,approximately 1095-1163 or 1164.,Abelard, Peter,1079-1142,Héloïse,approximately 1095-1163 or 1164,PHILOSOPHY-- History & Surveys-- Medieval.

رده :
B765
.
A24
M49
2005eb

5. Al-Madkhal Li-Sina at al-mantiq

پدیدآورنده :

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

موضوع : Logic,Philosophy, Islamic

رده :
160
I13MT

6. Algebraic Foundations of Many-Valued Reasoning

پدیدآورنده :

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

موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

7. Algebraic methods in philosophical logic

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

موضوع : Algebraic logic ; Algebra ; L?gica ; Modale logica ; Parti?le orde ; Semantiek ;

8. Algoritmos :

پدیدآورنده :

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

موضوع : Estrutura de dados (Computação),Logica.,Programação (Computadores)

9. Argomenti di logica /

پدیدآورنده :

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

موضوع : Logica.

10. Aristotle's modal logic :

پدیدآورنده :

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

موضوع : Aristotle., Organon.,Aristotle,384-322 B.C.-- Contributions in relation of logic and metaphysics.,Aristotle,384-322 B.C., Organon.,Aristote-- Et la logique.,Aristote-- Et la métaphysique.,Aristote-- Et le syllogisme.,Aristote., Organon.,Aristoteles.,Aristoteles., Organon.,Aristotle., Organon.,Organon (Aristotle),Entailment (Logic),Essentialism (Philosophy),Metaphysics.,Modality (Logic),Consequentia (Logique),Essence (Philosophie),Métaphysique.,Modalité (Logique),Analytica priora (Aristoteles),Entailment (Logic),Entailment (Logic),Essentialism (Philosophy),Essentialism (Philosophy),Metaphysics.,Metaphysics.,Modale logica.,Modality (Logic),Modality (Logic),Modallogik

رده :
B437
.
P37
1995

11. Beginning logic /

پدیدآورنده :

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

موضوع : Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.

رده :
QA9
.
3
.
L45

12. Between logic and intuition :

پدیدآورنده :

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

موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.

رده :
QA9
.
A5
B489
2000

13. Biology and knowledge :

پدیدآورنده :

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

موضوع : Cognition.,Psychophysiology.,Cognition.,Psychophysiology.,Cognition.,Psychophysiologie.,Biologie,Biologie.,Cognition.,Erkenntnistheorie,Erkenntnistheorie.,Kognition,Kognition.,Psychophysiology.,Theory of knowledge.

رده :
BF311
.
P51513
1971b

14. Buddhist logic and epistemology :

پدیدآورنده :

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

موضوع : Buddhist logic, Congresses.,Knowledge, Theory of (Buddhism), Congresses.,Aufsatzsammlung.,Boeddhisme.,Buddhismus.,Buddhismus.,Buddhist logic.,Buddhist logic.,Erkenntnistheorie.,Erkenntnistheorie.,Kennistheorie.,Knowledge, Theory of (Buddhism),Knowledge, Theory of (Buddhism),Logica.,Logik.,Logik.,Logischer Schluss.,Logischer Schluss.

رده :
BC25
.
B83
1986

15. C'era una volta un paradosso :

پدیدآورنده :

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

موضوع : Illusion (Philosophy),Paradox.,Paradosso.,Illusion (Philosophy),Logica.,Paradox.

رده :
BC199
.
P2
O35
2001

16. 1: Categorias ; Topicos ; Sobre las refutaciones sofisticas /

پدیدآورنده :

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

17. Character evidence :

پدیدآورنده :

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

موضوع : Abduction (Logic),Artificial intelligence.,Examination of witnesses-- Psychological aspects.,Reputation (Law),Abduction (Logique),Audition des témoins.,Intelligence artificielle.,Réputation.,Abductie (logica),Abduction (Logic),Argumentatieleer.,Artificial intelligence.,Beoordeling.,Examination of witnesses-- Psychological aspects.,LAW-- Civil Procedure.,LAW-- Legal Services.,Persoonlijkheid.,POLITICAL SCIENCE-- Government-- Judicial Branch.,Reputation (Law),Sciences humaines.,Sciences sociales.

رده :
K2271
.
W35
2006eb

18. Che cos'e la dialettica hegeliana? :

پدیدآورنده :

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

موضوع : Hegel, Georg Wilhelm Friedrich-- Dialettica,Logica

19. Che cos'e la dialettica hegeliana? :

پدیدآورنده :

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

موضوع : Hegel, Georg Wilhelm Friedrich-- Dialettica,Logica

20. Clavis universalis :

پدیدآورنده :

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

رده :
BC74
.
P365
1989