1. A companion to philosophical logic /
پدیدآورنده: edited by Dale Jacquette.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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
پدیدآورنده: / by Annalisa Marcja, Carlo Toffalori
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: 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 /
پدیدآورنده: Constant J. Mews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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
پدیدآورنده: Abul Hajjaj Yusuf ibn Muhammad ibn Tumlus
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Logic,Philosophy, Islamic
رده :
160
I13MT
6. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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 :
پدیدآورنده: José Augusto N.G. Manzano, Jayr Figueiredo de Oliveira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Estrutura de dados (Computação),Logica.,Programação (Computadores)
9. Analela. Seria Acta Logica
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic - Yearbooks
رده :
BC
8
.
B8A5
R
10. Anaphora and type logical grammar
پدیدآورنده: / by Gerhard J?nger
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Anaphora (Linguistics),Categorial grammar.,Language and logic.,Grammar, Comparative and general.,Semantics, Comparative.
11. Argomenti di logica /
پدیدآورنده: Carlo Marletti, Enrico Moriconi, Mauro Mariani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logica.
12. Aristotle's modal logic :
پدیدآورنده: Richard Patterson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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
13. Beginning logic /
پدیدآورنده: E.J. Lemmon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
14. Between logic and intuition :
پدیدآورنده: edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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
15. Biology and knowledge :
پدیدآورنده: Jean Piaget ; translated by Beatrix Walsh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cognition.,Psychophysiology.,Cognition.,Psychophysiology.,Cognition.,Psychophysiologie.,Biologie,Biologie.,Cognition.,Erkenntnistheorie,Erkenntnistheorie.,Kognition,Kognition.,Psychophysiology.,Theory of knowledge.
رده :
BF311
.
P51513
1971b
16. Buddhist logic and epistemology :
پدیدآورنده: edited by Bimal Krishna Matilal and Robert D. Evans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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
17. C'era una volta un paradosso :
پدیدآورنده: Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Illusion (Philosophy),Paradox.,Paradosso.,Illusion (Philosophy),Logica.,Paradox.
رده :
BC199
.
P2
O35
2001
18. 1: Categorias ; Topicos ; Sobre las refutaciones sofisticas /
پدیدآورنده: Aristoteles ; introducciones, traducciones y notas de Miguel Candel Sanmartin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
19. Character evidence :
پدیدآورنده: Douglas Walton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: 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
